¿Qué es?
Es una representación gráfica, en forma de árbol invertido, que describe cualquier sistema compuesto de bloques dentro de otros bloques. Esta representación es el cómo resultado de un Análisis sintáctico de una fórmula X.
Para navegar en el se usa la siguiente notación:
- Nodo raíz y nodos hoja: la fórmula X original es la raíz del árbol y cada una de las fórmulas atómicas inferiores es una hoja del árbol.
- Nodos del árbol: cada una de las fórmulas que aparecen en ese árbol está situada en un nodo del árbol, desde el nodo raíz hasta los nodos hoja, pasando por los nodos intermedios.
- Ramas del árbol: cada uno de los caminos de nodos que empieza en el nodo raíz y finaliza en un nodo hoja, inclusive ambos, se denomina rama del árbol.
- Subárbol: cada nodo se puede considerar a su vez como raíz de su propio árbol. Así, el árbol sintáctico de una fórmula X=(Y∗Z) enlazaría el nodo raíz X con los respectivos árboles que tienen por raíz tanto Y como Z.