Automatas 1 U 5

INDICE

ANALISIS SEMANTICO

1.1 Arboles de expresiones 2

1.2 Acciones semánticas de un analizador sintactico 5

1.3 Comprobaciones de tipos en expresiones 7

1.4 Pila semántica en un analizador sintactico 8

1.5 Esquema de traduccion 10

1.6 Generacion de la tabla de símbolo y de direcciones 10

1.7 Manejo de erros semanticos 11

5.1 Funciones del analizador léxico.

Un analizador léxico aísla el analizador sintáctico de la representación de lexemas de los componentes léxicos.

El analizador léxico opera bajo petición del analizador sintáctico devolviendo un componente léxico conforme el analizador sintáctico lo va necesitando para avanzar en la gramática.Los componentes léxicos son los símbolos terminales de la gramática.

Suele implementarse como una subrutina del analizador sintáctico. Cuando recibe la orden obtén el siguiente componente léxico, el analizador léxico lee los caracteres de entrada hasta identificar el siguiente componente léxico.

Definiciones.

Tokens:

1. Símbolos terminales de una gramática

2. Identificadores, palabras reservadas, operadores,...

3. Varios signos pueden forman el mismo token.

Atributos:

Información adicional que tiene el token, de utilidad para el análisis sintáctico y semántico.

Componentes léxicos (tokens):

unidad mínima de información que significa algo a la hora de compilar; concepto de palabra; las fases de un lenguaje constan de cadenas de componentes léxicos.

Lexema:

Una secuencia de caracteres de entrada que comprenden un solo componente léxico se llama lexema; cadena de caracteres que extrae el componente abstracto del componente léxico.

Patrón:

Descripción de la forma que han de tomarlos lexemas para ajustarse a un componente léxico.

Ejemplo:

Otras Funciones:

• Manejo del fichero de entrada del programa fuente: abrirlo, leer sus caracteres, cerrarlo y gestionar posibles errores de lectura.

• Eliminar comentarios, espacios en blanco, tabuladores y saltos de línea (caracteres no válidos para formar un token).

• Inclusión de ficheros: # include...

• La expansión de macros y funciones in line: # define...

• Contabilizar el número de líneas y columnas para emitir mensajes de error.

• Reconocimiento y ejecución de las directivas de compilación (por ejemplo, para depurar u optimizar el código fuente).

Aspectos del Análisis Léxico.

Diseño más sencillo:

• Los símbolos que trata el scanner se describe con una gramática más simple que la del parser, gramática regular.

Mejora la eficiencia:

• Gran parte del tiempo de compilación se consume en la lectura y exploración de caracteres.

Mejora la portabilidad:

• Se pueden tener varias versiones del scanner una para distintos códigos (EBCDID, ASCII, ...), con el mismo parser.

Descarga el análisis sintáctico:

Ejemplo:

no puedo distinguir en FORTRAN hasta después del 1

• DO 5 I=1.25

• DO 5 I=1,25

5.2 Componentes léxicos, patrones y lexemas.

Componente léxico (token).

Son las unidades lógicas que genera el analizador léxico. Formar caracteres en tokens es muy parecido a formar palabras en un lenguaje natural.

Es el conjunto de cadenas de entrada que produce como salida el mismo componente léxico. Cada token es una secuencia de caracteres que representa una unidad de información en el programa fuente. Los componentes léxicos más comunes son los siguientes: palabras clave o reservadas:

• operadores aritméticos

• operadores

• relacionales

• operadores lógicos

• operador de asignación

• identificadores

• constantes

• cadenas

• literales

• signos de puntuación

• librerías

Lexema:

Representan cadenas de caracteres en el programa fuente que se pueden tratar juntos como una unidad léxica. Un lexema es una secuencia de caracteres en el programa fuente con la que concuerda el patrón para un componente léxico.

Patrón:

Regla que describe el conjunto de lexemas que pueden representar a un determinado componente léxico en los programas fuente. En otras palabras, es la descripción del componente léxico mediante una regla.

...