Академический Документы
Профессиональный Документы
Культура Документы
Independientes de
Contexto
Capítulo 4
Lenguaje independiente
de contexto
Dada un gramática G
– Con símbolo inicial S
L(G) lenguaje generado por G
Cadena w está en L(G)
– Si S =>+ w
S deriva w en uno o más pasos
S => w (un paso)
Variable ++ Variable --
Arboles de análisis
sintáctico
Pueden ser derivados:
– Por la izquierda
– Por la derecha
¿De forma única?
Gramáticas ambiguas
Demostrar que:
formales
¿Dependientes del contexto?
Problemas GNIC
¿Cómo comprobar variables y tipos?
¿Cómo verificar match de
parámetros?
¿Dimensiones de un arreglo?
¿Existencia de procedimientos?
Análisis Sintáctico
Asume gramática independiente de
contexto
Si la gramática es dependiente del
contexto:
– Se reduce a una independiente
– Se verifica en el análisis semántico