En la teoría del lenguaje formal , el rendimiento terminal (o franja ) de un árbol es la secuencia de hojas encontradas en un recorrido ordenado del árbol. [ 1 ]
Los árboles de análisis sintáctico y/o de derivación se encuentran en el estudio de gramáticas de estructura sintáctica, como las gramáticas libres de contexto o las gramáticas lineales . Las hojas de un árbol de derivación para una gramática formal G son los símbolos terminales de esa gramática, y los nodos internos los símbolos no terminales o variables. Se puede obtener la cadena terminal correspondiente realizando un recorrido ordenado del árbol y registrando los símbolos terminales en el orden en que se encuentran. La secuencia de terminales resultante es una cadena del lenguaje L ( G ) generada por la gramática G.
Referencias
- Lenguajes formales
- Métodos formales esbozos