rbol de derivacin

Un rbol de derivacin permite mostrar grficamente cmo se puede derivar

cualquier cadena de un lenguaje a partir del smbolo distinguido de una
gramtica que genera ese lenguaje.
Un rbol es un conjunto de puntos, llamados nodos, unidos por lneas, llamadas
arcos. Un arco conecta dos nodos distintos. Para ser un rbol un conjunto de
nodos y arcos debe satisfacer ciertas propiedades:
Hay un nico nodo distinguido, llamado raz (se dibuja en la parte superior) que
no tiene arcos incidentes.
Todo nodo c excepto el nodo raz est conectado con un arco a otro nodo k,
llamado el padre de c (c es el hijo de k). El padre de un nodo, se dibuja por
encima del nodo.
Todos los nodos estn conectados al nodo raz mediante un nico camino.
Los nodos que no tienen hijos se denominan hojas, el resto de los nodos se
denominan nodos interiores.

Propiedades de un rbol de derivacin.

Sea G = (N,T,S,P) una gramtica libre de contexto, sea

una variable.
Diremos que un rbol TA = (N,E) etiquetado es un rbol de derivacin
asociado a G si verifica las propiedades siguientes:

La raz del rbol es un smbolo no terminal

cada hoja corresponde a un smbolo terminal o .
cada nodo interior corresponde a un smbolo no terminal.
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.

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 X 1,,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..xk respectivamente,
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, entonces w 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.
Conclusin
Un rbol de Derivacin, en lenguajes es una forma grfica de representar una
gramtica, aunque al igual que los rboles de estructura de archivo tiene
clasificaciones de nodo raiz, hijos, padres e nodos intermedios, aqu se puede
representar de una forma ms fcil las reglas de produccin de la gramtica,
donde la raz sera el smbolo inicial ( 0 ) y los nodos intermedios van creando
las reglas de produccin (P), los hijos seran los smbolos terminales (T) y los
padres son los smbolos no terminales (N).