Compilador Diseo - Recuperacin de Errores

Un analizador debera ser capaz de detectar y reportar cualquier error en el programa. Es de esperar que cuando se encuentra un error, el analizador debe ser capaz de gestionar y llevar en el anlisis sintctico el resto de la entrada. En su mayora es de esperarse en el analizador para verificar si hay errores, pero errores se pueden encontrar en las diversas etapas del proceso de compilacin. Un programa puede tener los siguientes tipos de errores en las distintas etapas:

• Lxico: nombre de una incorrecta identificacin

• Sintctico: falta un punto y coma o desequilibrada entre parntesis

• Semntica: incompatible asignacin de valor

• Lgico: cdigo no accesible, bucle infinito

Hay cuatro errores comunes de las estrategias de recuperacin que se pueden implementar en el analizador para lidiar con los errores en el cdigo.

Modo de emergencia

Cuando el analizador encuentra un error en la declaracin, se ignora el resto de la declaracin no procesando entrada de entrada errnea de delimitador, como punto y coma. Esta es la manera ms sencilla de recuperacin de errores y, adems, impide que el analizador de los bucles infinitos.

Modo Declaracin

Cuando el analizador encuentra un error, trata de tomar las medidas correctivas necesarias para que el resto de los insumos de la declaracin que el analizador para analizar. Por ejemplo, insertar la falta de un punto y coma, coma con una sustitucin punto y coma, etc. Analizador los diseadores tienen que tener cuidado porque una correccin inadecuada puede llevar a un bucle infinito.

Producciones Error

Algunos de los errores ms frecuentes se sabe que el compilador los diseadores que pueden ocurrir en el cdigo. Adems, los diseadores pueden crear gramtica aumentada que se va a utilizar, puesto que las producciones que generan construcciones errneas cuando estos se encuentran errores.

Correccin Global

El analizador considera que el programa de la mano como un todo y trata de averiguar en qu consiste el programa est destinado a hacer e intenta encontrar una coincidencia ms cercana para que est libre de errores. Cuando una entrada errnea (declaracin) X se alimenta, se crea un rbol de anlisis sintctico ms cercano algunos libres de error declaracin Y. Esto puede permitir que el analizador para hacer cambios mnimos en el cdigo fuente, pero debido a la complejidad (tiempo y espacio) de esta estrategia, no se ha aplicado en la prctica.

Sintaxis Abstracta rboles

Analizar las representaciones rbol no son fciles de ser analizado por el compilador, ya que contienen ms detalles que realmente se necesita. Tomar las siguientes analizar rbol como un ejemplo:

Si observamos detenidamente, nos encontramos la mayora de los nodos hoja son uno de los nios a sus nodos principales. Esta informacin puede ser eliminada antes de drsela a la siguiente fase. Por ocultar informacin adicional, se puede obtener un rbol como se muestra a continuacin:

rbol abstracto se puede representar de la siguiente forma:

Ast son importantes estructuras de datos en un compilador con menos informacin innecesaria. Ast son ms compactos que analizar un rbol y puede ser fcilmente utilizado por el compilador.