En la teoría del lenguaje formal , el rendimiento terminal (o franja ) de un árbol es la secuencia de hojas que se encuentran en una caminata ordenada del árbol.
Los árboles de análisis y / o los árboles de derivación se encuentran en el estudio de gramáticas de estructura de frases , como gramáticas libres de contexto o 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 leer la cadena de terminales correspondiente realizando un recorrido de árbol ordenado y registrando los símbolos de terminal en el orden en que se encuentran. La secuencia resultante de los terminales es una cadena de la lengua L ( G ) generado por la gramática G .