EXPOSICION ARBOLES DE DERIVACION Para cada cadena del lenguaje generado por una gramtica es posible construir (al

menos) un rbol de derivacin, en el cual cada hoja tiene como rtulo uno de los smbolos de la cadena. Si un nodo est etiquetado con una variable X y sus descendientes (ledos de izquierda a derecha) en el rbol son X1,,Xk , entonces hay una produccin X X1Xk en G. Sea G=(N,T,S,P) una GLC. Un rbol es un rbol de derivacin para G si: 1. Todo vrtice tiene una etiqueta tomada de 2. La etiqueta de la raz es el smbolo inicial S 3. Los vrtices interiores tienen etiquetas de N 4. Si un nodo n tiene etiqueta A y n1n2...nk respectivamente son hijos del vrtice n, ordenados de izquierda a derecha, con etiquetas x1,x2..xkrespectivamente, entonces: A x1x2...xk debe ser una produccin en P 5. Si el vrtice n tiene etiqueta , entonces n es una hoja y es el nico hijo de su padre. rbol de derivacin. Ejemplo Sea G=(N,T,S,P) una GLC con P: S ab|aSb La derivacin de la cadena aaabbb ser: y el rbol de derivacin:

Relacin entre derivaciones y rboles Si leemos las etiquetas de las hojas de izquierda a derecha tenemos una sentencia. Llamamos a esta cadena la produccin del rbol de derivacin. Teorema. Sea G=(N,T,S,P) una GLC. Entonces (de S se deriva ) si y slo si hay un rbol de derivacin en la gramtica G con la produccin .

Si w es una cadena de L(G) para la gramtica libre de contexto G, entoncesw tiene al menos un rbol de derivacin. Referido a un rbol de derivacin particular,w tendr una nica derivacin a la izquierda y otra nica a la derecha. Ejemplo.

Derivacin a la izquierda:

Derivacin a la derecha: