c


 
    

Un árbol de análisis sintáctico es una representación gráfica de una derivación que filtra el orden
en el que se aplican las producciones para sustituir los no terminales.

Cada nodo interior de un árbol de análisis sintáctico representa la aplicación de una producción.

{Ejemplo de árbol sintáctico}

Las hojas de un árbol de análisis sintáctico se etiquetan mediante no terminales o terminales y,

leídas de izquierda a derecha constituyen una forma de frase, a la cual se le llama O





del árbol.

a


Una gramática ambigua es aquella que produce más de una derivación por la izquierda, o más de
una derivación por la derecha para el mismo enunciado.

{Ejemplo}

Para la mayoría de los analizadores sintácticos, es conveniente que la gramática no tenga

ambigüedades, ya que de lo contrario, no podemos determinar en forma única qué árbol de
análisis sintáctico seleccionar para un enunciado.

          

 

Una prueba de que una gramática ë genera un lenguaje consta de dos partes:

-p Gostrar que todas las cadenas generadas por ë están en

-p ^e manera inversa, que todas las cadenas en pueden generarse mediante ë.

Para mostrar que todas las frases que pueden derivarse de
son balanceadas, utilizaremos una
prueba inductiva sobre el número de pasos  en una derivación:

Œ La base es . La única cadena de terminales que puede derivarse de
en un paso es la

cadena vacía.

Ñ   ahora supongamos que todas las derivaciones de menos de  pasos producen frases
balanceadas, y considere una derivación por la izquierda, con ppasos exactamente. ^icha
derivación debe ser de la siguiente forma:

{forma}

Las derivaciones de ÿy que provienen de
requieren menos de  pasos, por lo que en base a la
hipótesis inductiva, ÿy están balanceadas.

ahora nos queda mostrar que todas las cadenas balanceadas se derivan de
. Para ello utilizamos
las inducción sobre la longitud de la cadena.
Œ Si la cadena es de longitud 0, debe ser E, la cual está balanceada.

Ñ   Primero, observe que todas las cadenas balanceadas tienen longitud uniforme.
Suponga que todas las cadenas balanceadas con una longitud menor a - se derivan de
, y
considere una cadena balanceada  de longitud -,  >= 1.

—       
 
      

Las gramáticas son una notación más poderosa que las expresiones regulares.

Cada construcción que puede escribirse mediante una expresión regular puede escribirse
mediante una gramática, pero no al revés.

^e otra manera, cada lenguaje regular es un lenguaje libre de contexto, pero no al revés.

{Ejemplo}

Podemos construir de manera mecánica una gramática para reconocer el mismo lenguaje qye un
autómata finito no determinista (a
.

{Ejemplo}

 
!