Formalmente, una gramática de adjunción de árboles es una quíntupla formula_1 donde