Académique Documents
Professionnel Documents
Culture Documents
Analizador Lxico
El analizador sintctico (parser) es el que utiliza los primeros componentes del analizador
lxico el cual utiliza los tokens creados para dar una representacin intermedia en forma de
rbol describiendo la estructura gramatical del flujo de los tokens y que este sea vlido. Esto
hace que los analizadores sintcticos construyan una derivacin por la izquierda o por la
derecha del programa fuente, el cual son los recorridos determinados del rbol.
CLASIFICACIN:
La tarea esencial de un analizador es determinar si una determinada entrada puede ser
derivada desde el smbolo inicial, usando las reglas de una gramtica formal, entre las cuales
tenemos:
Gramatica Chomsky
Llamaremos gramtica sensible al contexto a toda G = (V, , Q0, P) gramtica tal que todas
las producciones de P son del tipo siguiente:
A , donde A V y , , ( V) , 6= .
Llamaremos gramtica libre de contexto a toda G = (V, , Q0, P) gramtica tal que todas las
producciones de P son del tipo siguiente:
A , donde A V y ( V) .
Un lenguaje libre de contexto es un lenguaje generado por una gramtica libre de contexto
A a, donde A V y a {}.
A aB, donde A, B V y a {}
Jonathan Francisco Salvador Morataya SM141289 03L
Supongamos que queremos definir el lenguaje que solo acepta programas donde las
variables hayan sido especificadas. Por simplicidad supongamos que solo vamos a utilizar
programas con una sola variable.
Boolean a
a=true
Es un programa vlido,
pero Boolean a
b=true
no lo es.
Una posible gramtica (solo en el caso de los identificadores estn formados por las letras
a,b) :
S Boolean CD=true,
C aCA|bCB|, D
AD aD, BD bD
Aa aA, Ab bA
Ba aB, Bb bB
, donde , ( V) .