Instituto Tecnolgico de Pachuca

Lenguajes y Autmatas I

Mapa Conceptual de Unidad VI

Profesor:

MATI. Arturo Gonzlez Cern

Alumno:

Gonzlez Castaeda Jess 12200606

Ingeniera en Sistemas Computacionales

2 de Junio del 2015

Lenguajes y Autmatas I | Unidad VI: Anlisis Sintctico|

Anlisis
Sintctico

Fase del analizador se

encarga de checar el
texto de entrada

Arboles de derivacin
Diagramas
donde
muestran
grficamente como puede formase
una palabra de E.

Accede a la tabla de smbolos

Chequeo de tipos
Generar de Cdigo Intermedio
Generar errores cuando se
producen

Mtodos

Anlisis sintctico Descendente

Anlisis sintctico Ascendente

(GLC)
G=(N,T,P,S)

Gramtica Libre
de contexto
(GLC)

Describen
bloques
anidados en lenguajes
N= NO
Pueden ser reconocidos de programacin
TERMINALES
Piden que exista un no
por un autmata de pila
T= TERMINALES
terminal
del
lado
P=REGLAS
DE
determinista
y
no izquierdo
de
la
PRODUCCION
determinista
S= AXIOMA INICIAL

TERMIANLES: smbolos bsicos para

formar cadenas if then y else
NO
TERMINALES:
variables
sintcticas denotan conjuntos de
cadenas expr y prop
AXIOMA INICIAL: en una gramtica,
un no terminal se considera a su
vez como el smbolo inicial
PRODUCCIONES:
especifican
forma como se combinan

Forma normal
de Chomsky
Tipos de Analizadores sintcticos
Descendentes LL & JavaCC
Ascendentes
Yacc

(Bottom-UP-Parser)

No genera palabra
Formavaca
normal de

Pasos para su transformacin:

Elimina reglas unitarias

Chomsky
Elimina reglas no productivas
Dando formato correspondiente
G=(N,T,P,S)
FNC, reglas Un no terminal
solo puede derivar en un terminal
Un no terminal solo puede
Reglas: en otros dos no
derivarse
terminales
Un smbolo No terminal
se puede expandir
Todo diagrama tiene un punto de entrada y uno
de salida se presenta como un arco sin origen
Los No terminales se dibujan como rectngulos
Los smbolos terminales Tokens se dibujan como
eclipses

Oraciones aseverativas
Aseverativa,
Imperativa,
interrogativa,
exclamativa,

la
los

Diagramas de
Sintaxis

Grafo dirigido en donde todos los nodos

representan smbolos terminales y no
terminales de la gramtica

Sus producciones se representan por

BNF (Backus Normal Form)

Eliminacin de
ambigedad

Una gramtica es ambigua si genera ms

de una estructura a partir de la misma
raz y con la misma cosecha

Se dan cuando derivaciones distintas

generan estructuras diferentes para la
misma cadena
Existen:

Se verifican manualmente

La presencia de operadores no se respeta

Agrupaciones arbitrarias de operadores con la misma
precedencia

Se genera mediante

Ambigedad en el lenguaje
Ambigedad en la gramtica

Estrategias

Escribir de forma correcta la gramtica

Ignorar el problema modo pnico
Calcular el FIRST/PRIMERO Tabla
Recuperacin
de frase
de chequeo adenivel
sintaxis
en donde se
Calcular el FOLLOW/SIGUINTE
Reglas
de produccin
para control de errores
sabe
que regla
aplicar
Construir la tabla de anlisis sintctico
Correccin global

Matriz
Manejo
predictivade
errores

Conclusin
El mapa conceptual descrito anteriormente representa una aportacin significativa
al anlisis sintctico de los lenguajes El anlisis sintctico convierte el texto de
entrada o en otras estructuras que son comnmente conocidas como rboles. Un
explorador lxico crea tokens de una secuencia de caracteres de entrada y son
estos tokens los que son procesados por el analizador sintctico para construir la
estructura de datos.
El anlisis sintctico de manera inicial realiza el anlisis de frases de lenguaje
natural. Es usado para generar diagramas de Los lenguajes habitualmente
reconocidos por los analizadores sintcticos son los lenguajes libres de contexto.
Cabe notar que existe una justificacin formal que establece que los lenguajes
libres de contexto son aquellos reconocibles por un autmata de pila, de modo que
todo analizador sintctico que reconozca un lenguaje libre de contexto es
equivalente en capacidad computacional a un autmata de pila.
Este enfoque presenta ventajas evidentes, entre la cuales cabe citar la
simplificacin de las pruebas de correccin de los algoritmos, los cuales son ms
fciles de comprender y al ser ejecutados en un entorno homogneo, son
fcilmente comparables. En este mapa hemos adaptado este enfoque a los
lenguajes de adjuncin de rboles de derivacin, proporcionando modelos de
autmata con los que describir los algoritmos de anlisis y tcnicas de tabulacin
con las que pueden ser ejecutados eficientemente.
Finalmente hemos analizado que dentro de los analizadores sintcticos que vimos,
pudimos notar la diferencia entre los que son descendentes y los ascendentes, y
sus principales caractersticas, viendo tambin la forma normal de Chomsky que
es de gran importancia en el anlisis sintctico.