La gramática contigua al árbol TAG ) es una gramática formal inventada por Aravind Joshi ( inglés Esta gramática generaliza la gramática libre de contexto en el sentido de que las unidades elementales en las reglas de inferencia son árboles en lugar de caracteres individuales. Por lo tanto, la gramática define las reglas para reemplazar los nodos del árbol con subárboles (ver árbol en teoría de grafos y árbol en informática ).
TAG surgió como resultado de la investigación de Joshi y sus estudiantes de una familia de gramáticas adjuntas [1] . Las gramáticas adjuntas son adecuadas para analizar frases que incluyen una palabra principal y muchas palabras dependientes que limitan el significado de la palabra principal (por ejemplo, "una casa muy grande"). Sin embargo, no caracterizan claramente las frases en las que ni una sola palabra puede cumplir la función de toda la estructura. Lo mismo se aplica a la gramática con estructura de frase . En 1969, Joshi introdujo una familia de gramáticas que explotaba esta complementariedad mezclando dos tipos de reglas. Esta familia no forma parte de la jerarquía de Chomsky [2] y pertenece a las gramáticas débilmente sensibles al contexto , es decir, en términos de generación de propiedades, es más fuerte que las gramáticas libres de contexto , pero más débil que las sensibles al contexto [3] . Las gramáticas de adición de árboles son débilmente equivalentes a las gramáticas indexadas lineales , las gramáticas categóricas combinatorias y las gramáticas de encabezado [4] (para cualquier gramática de adición de árboles, se puede construir una gramática correspondiente a partir de cualquiera de estas tres familias que generará las mismas cadenas).
Una regla TAG es un árbol con un nodo de hoja al que se puede adjuntar una palabra (LTAG).
Hay dos tipos de árboles: "inicial" (a menudo denominado ' ') y "auxiliar" (' '). Los árboles iniciales representan las valencias principales de la frase, mientras que los árboles auxiliares permiten el uso de la recursividad [5] . Los árboles auxiliares tienen el nodo superior y el nodo hoja marcados con el mismo símbolo.
Los reemplazos parten del árbol inicial y se realizan por sustitución o adición . Un reemplazo reemplaza un nodo con un árbol cuyo nodo superior está etiquetado con el mismo símbolo que el que se reemplaza. Append inserta un subárbol auxiliar en el centro del árbol [6] . Un árbol auxiliar debe etiquetarse con la misma etiqueta que el nodo al que está conectado.
En inglés: