Gram

1
Gramáticas Independientes de Contexto

• Capítulo 4

2
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 gt w
• S deriva w en uno o más pasos
• S gt w (un paso)
• S gt AB gt w (más de un paso)

3
Lenguajes independientes de contexto

• Si w está en L(G)
• w es una frase de L(G)
• Lenguaje todas las frases posibles
• Lenguaje independiente de contexto
• Si S gt a
• a se deriva en 0 o más pasos
• a puede contener no terminales
• a es una forma de frase de G

4
Derivaciones

• Por la izquierda
• (EE) gt (idE) gt (idid)
• Por la derecha
• (EE) gt (Eid) gt (idid)
• Arbol de análisis sintáctico
• Representación gráfica de una derivación

5
Ejemplo
While v ltgt 0 do x v--
Programa

• Programa -gt Instrucción Rutina
• Rutina -gt Instrucción Instrucción
• Instrucción Rutina
• Instrucción -gt nil Variable
• Variable --
• While Prueba do Programa
• Prueba -gt Variable ltgt 0
• Variable 0

6
Arboles de análisis sintáctico

• Pueden ser derivados
• Por la izquierda
• Por la derecha
• De forma única?
• Gramáticas ambiguas
• Más de un árbol para una frase

7
Escritura de Gramáticas

• Cómo se puede escribir una gramática que
  requiera que las variables se declaren antes de
  usarlas?

8
Escritura de Gramáticas

• Cómo escribir una donde el número de parámetros
  de un procedimiento coincide en la llamada y en
  la definición?

9
Procedimiento

• Escribir la gramática G
• Definir el lenguaje L
• Demostrar que
• Toda cadena generada por G está en L
• Toda cadena de L está en G

10
Ejemplo

• Gramática G
• S gt (S)S nil
• Lenguaje L
• Cadenas de paréntesis balanceados
• Demostración...
• Libro pp. 178

11
Lenguajes abstractos

• L1 wcw w está en (a b)
• Toda variable debe definirse antes de usarse
• L2 anbmcndm n gt 1 y mgt1
• El número de parámetros en la llamada a un
  procedimiento debe coincidir con el número en el
  encabezado

12
Gramáticas no independientes del contexto

• Lenguajes abstractos
• No pueden definirse por gramáticas formales
• Dependientes del contexto?

13
Problemas GNIC

• Cómo comprobar variables y tipos?
• Cómo verificar match de parámetros?
• Dimensiones de un arreglo?
• Existencia de procedimientos?

14
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