rbol 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 caractersticas:

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.

Conceptos bsicos.
Conjunto: Es un coleccin de objetos relacionados entre ellos. Un conjunto
solo indica los elementos que lo componen, por tanto no es necesario tener un
orden y no se repiten los elementos dentro de un conjunto. Un Conjunto finito
es aquel donde podemos contar sus elementos, por ejemplo:
C = {corazn, trbol, diamante, etc} claramente podemos notar que son
cuatro elementos.

Subconjunto: Es una coleccin de elementos que a su vez pertenece a otro

conjunto de igual o mayor nmero de miembros. Por ejemplo: consideremos los
conjuntos A = {a, b} y B = {z, a, c, b, d} se dice que A es un subconjunto
propio de B y se escribe como A B.
Smbolo: Es la representacin abstracta de un objeto, puede ser un dgito una
letra. En general es cualquier carcter que nos represente algn elemento.
Algunos ejemplos son: a, 1, PI.
Alfabeto: Tambin llamado Vocabulario, es un conjunto finito de smbolos.
Debe existir al menos un smbolo en el alfabeto, es decir el alfabeto no puede
ser un conjunto vaco. Comnmente se le denomina a este conjunto.
Cadena: Es una secuencia de smbolos hecha con los elementos de un
Alfabeto, por eso se dice que una cadena sobre un alfabeto es un elemento
del alfabeto universal *, es decir
! *, donde *
Lenguaje: Es un conjunto de cadenas, las cuales deben estar formadas con los
smbolos de un Alfabeto , entonces decimos que el Lenguaje L esta sobre el
Alfabeto . Por ejemplo: el lenguaje
L = {100, 001, 00, 1111}
se forma con los elementos de = {1, 0}, la cadena = 1010 se forma
tambin con los elementos de (i.e. ) pero no pertenece al lenguaje L y
se denota / L.
Estado: Es la situacin o las condiciones en que se halla un objeto en algn
momento, dicho objeto no puede estar en ms de un estado al mismo tiempo.
En el caso de una maquina son las caractersticas que posee en un momento
dado.

Algoritmo: Es una secuencia finita de instrucciones bien definidas. Un

algoritmo est compuesto por una sucesin de pasos que llevan siempre a un
mismo resultado.
Gramtica: El conjunto de reglas y principios que gobiernan el uso de un
lenguaje muy determinado