Prototipo de intérprete de Basic a Ansi-C Basicce - Universidad de ...

- Universidad de Manizales, enero – junio / 2005
Gran parte de la detección y recuperación de errores de un compilador o
interprete se centran en la fase de análisis sintáctico. El manejador esta en
capacidad de detectar errores de tipo léxico, sintáctico, semántico.
Análisis Semántico
Esta fase se encarga de revisar que cada agrupación o conjunto de
Componentes Léxicos tenga sentido; es aquí donde se reúne la información
sobre los tipos para la fase posterior, en esta etapa se utiliza la estructura
jerárquica de la etapa anterior y así poder determinar los operadores, y
operandos de expresiones y preposiciones.
Comprobación de Tipos: un compilador o interprete debe informar un error
si se aplica un operador a un operando incompatible, por ejemplo, si se
suman una variable tipo matriz y una variable de función. La Fig. 4 muestra
de que forma los módulos interactúan entre sí, donde el verificador de tipos,
es el filtro para la siguiente fase del proceso de compilación.
El verificador de tipos se encuentra vinculado con la tabla de símbolos,
siendo esta ultima la base para observar si las variables (Identificadores) ya
se encuentran declaradas.
Cadena de
componentes
léxicos
Analizador
sintáctico
Árbol
sintáctico
Comprobador de
Tipos
Árbol
sintáctico
Generador de
código
intermedio
Representación
intermedia
Figura 4.
Métodos
El analizador Léxico fue implementado bajo las Formas Backus Naur (BNF)
donde cada producción (regla) maneja la sintaxis apropiada para la
gramática (léxico-sintáctico) del lenguaje de entrada y para su
implementación se utilizaron autómatas finitos no deterministas.
Ejemplo:
Producción para identificadores y/o variables:
La Fig. 5 corresponde al Autómata asociado a la regla anterior.
Id
L L D