Теоретико-модельные грамматики , также известные как грамматики, основанные на ограничениях, контрастируют с генеративными грамматиками в том, как они определяют наборы предложений: они устанавливают ограничения на синтаксическую структуру, а не предоставляют операции для генерации синтаксических объектов. [1] Генеративная грамматика предоставляет набор операций, таких как перезапись, вставка, удаление, перемещение или комбинирование, и интерпретируется как определение набора всех и только тех объектов, которые эти операции способны производить посредством итеративного применения. Теоретико-модельная грамматика просто устанавливает набор условий, которым должен соответствовать объект, и может рассматриваться как определяющая набор всех и только тех структур определенного вида, которые удовлетворяют всем ограничениям. [2] Подход применяет математические методы теории моделей к задаче синтаксического описания: грамматика является теорией в логическом смысле (непротиворечивый набор утверждений), а правильно сформированные структуры являются моделями , которые удовлетворяют теории.
Дэвид Э. Джонсон и Пол М. Постал представили идею теоретико-модельного синтаксиса в своей книге 1980 года «Грамматика пар дуг» . [3]
Ниже приведен пример грамматик, подпадающих под теоретико-модельную категорию:
Одним из преимуществ модельно-теоретических грамматик по сравнению с генеративными грамматиками является то, что они допускают градиент в грамматичности . Структура может отклоняться от теории лишь незначительно или сильно. Генеративные грамматики, напротив, «подразумевают резкую границу между совершенным и несуществующим и даже не допускают представления градиента в неграмматичности». [7]