Las gramáticas de teoría de modelos , también conocidas como gramáticas basadas en restricciones, contrastan con las gramáticas generativas en la forma en que definen conjuntos de oraciones: establecen restricciones sobre la estructura sintáctica en lugar de proporcionar operaciones para generar objetos sintácticos. [1] Una gramática generativa proporciona un conjunto de operaciones como reescritura, inserción, eliminación, movimiento o combinación, y se interpreta como una definición del conjunto de todos y solo los objetos que estas operaciones son capaces de producir mediante una aplicación iterativa. Una gramática de teoría de modelos simplemente establece un conjunto de condiciones que un objeto debe cumplir, y puede considerarse que define el conjunto de todas y sólo las estructuras de un cierto tipo que satisfacen todas las restricciones. [2] El enfoque aplica las técnicas matemáticas de la teoría de modelos a la tarea de descripción sintáctica: una gramática es una teoría en el sentido lógico (un conjunto consistente de enunciados) y las estructuras bien formadas son los modelos que satisfacen la teoría.
David E. Johnson y Paul M. Postal introdujeron la idea de la sintaxis de la teoría de modelos en su libro de 1980 Arc Pair Grammar . [3]
La siguiente es una muestra de gramáticas que caen bajo el paraguas de la teoría de modelos:
Un beneficio de las gramáticas de teoría de modelos sobre las gramáticas generativas es que permiten una gradación en la gramaticalidad . Una estructura puede desviarse sólo ligeramente de una teoría o puede ser muy desviada. Las gramáticas generativas, por el contrario, "implican un límite claro entre lo perfecto y lo inexistente, y ni siquiera permiten representar la gradualidad en la agramaticalidad". [7]