ANALISIS SINTACTICO

UNIDAD 4

INTRODUCCION A LAS GRAMATICAS LIBRES DE CONTEXTO

Gramaticas de contexto libre de flexibilidad proporcionada por las gramaticas de contexto libre es tal que es la mas usada para definir la sintaxis de los lenguajes de programacion.

Es un cuadrupulo g=(v,s,p,s) donde v es un conjunto finito de variables, s es un conjunto finito de simbolos terminales, p es un conjunto finito de reglas y s es el simbolo inicial. Cada produccion tiene la forma donde v es una variable del conjunto esto quiere decir en la parte izquierda de la produccion viene siempre una variable (simbolo no terminal) y en la parte derecha pueden venir cualquier numero de simbolos terminales y no terminales incluyendo la cadena nula.

DIAGRAMAS DE SINTAXIS

Un segundo metodo alternativo para desplegar las producciones de ciertas gramaticas de tipo 2 es el diagrama de sintaxis.Esta es una imagen de las producciones que permiten al usuario ver las sustituciones en forma dinamica es decir verlas como un movimiento atravez del diagrama.

PRECEDENCIA DE OPERADORES

Una expresion esta compuesta por operadores variables y constantes para simplificar podemos pensar que la forma en la que se evalua esta expresion es dividiendo el todo en subexpresiones.

La interpretacion de cualquier expresion en c++ esta determinada por la procedencia y asociativa de los operadores en dicha expresion cada operador tiene una precedencia la evaluacion de operadores con la misma precedencia viene determinada por su sociatividad.

ANALIZADOR SINTACTICO

Un analizador sintactico es un programa que reconoce si una o varias cadenas de caracteres forman parte de un determinado lenguaje los lenguajes habitualmente reconocidos por los analizadores sintacticos son los lenguajes libres de contexto.Cabe notar que existe una justificacion formal que establece que los lenguajes libres de contexto son aquellos reconocibles por un automata de pila.

ADMINISTRADOR DE TABLAS DE SIMBOLOS

La tabla de simbolos registra informacion acerca de cada nombre de simbolo en un programa historicamente los nombres se llamaron simbolos mas que de una tabla de nombres.La fase de analisis semantico cerca de la tabla de simbolos puesto que no es sino hasta este analisis que se tiene la suficiente informacion sobre un nombre para describirlo.

Una tabla de simbolos es una estructura de datos que contiene un registro por cada identificador el registro incluye los campos para los atributos del identificador.