Термин « грамматика фразовой структуры» был первоначально введен Ноамом Хомским как термин для обозначения грамматики , изученной ранее Эмилем Постом и Акселем Туэ ( канонические системы Поста ). Некоторые авторы, однако, оставляют этот термин для более ограниченных грамматик в иерархии Хомского : контекстно-зависимые грамматики или контекстно-свободные грамматики . В более широком смысле грамматики фразовой структуры также известны как грамматики избирательного округа . Таким образом, определяющей чертой грамматик фразовой структуры является их приверженность отношению избирателя, в отличие от отношения зависимости, как в грамматиках зависимости .
В 1956 году Хомский писал: «Грамматика фразовой структуры определяется конечным словарем (алфавитом) V p и конечным набором Σ начальных строк в V p и конечным набором F правил вида: X → Y , где X и Y — строки в V p ." [1]
В лингвистике грамматики фразовой структуры — это все те грамматики, которые основаны на отношении избирательного округа, в отличие от отношения зависимости, связанного с грамматиками зависимости; следовательно, грамматики фразовой структуры также известны как грамматики избирательного округа. [2] Любая из нескольких родственных теорий синтаксического анализа естественного языка квалифицируется как грамматика избирательного округа, и большинство из них были разработаны на основе работ Хомского, в том числе
Дальнейшие грамматические структуры и формализмы также квалифицируются как основанные на группах, хотя они могут и не считать себя порожденными работой Хомского, например
Фундаментальной чертой, которая объединяет все эти концепции, является то, что они рассматривают структуру предложений с точки зрения отношений с избирателями. Отношение избирательного округа происходит от разделения субъект - предикат латинской и греческой грамматик [ нужна ссылка ] , которое основано на терминологической логике и восходит к Аристотелю [3] в древности. Основная структура предложения понимается как бинарное деление предложения на подлежащее ( именная группа NP) и сказуемое ( глагольная группа VP).
Бинарное деление предложения приводит к соотношению «один к одному» или нескольким. Для каждого элемента предложения существует один или несколько узлов в древовидной структуре, предполагаемой для этого предложения. Предложение из двух слов, такое как «Люк засмеялся», обязательно подразумевает три (или более) узла в синтаксической структуре: один для существительного «Люк» (подлежащее NP), один для глагола «смеялся» (сказуемое VP) и один для всего « Люк засмеялся» (предложение С). Все перечисленные выше грамматики округов рассматривают структуру предложения с точки зрения соответствия «один-к-одному» или более.
Ко времени Готлоба Фреге возникло конкурирующее понимание логики предложений. Фреге отверг бинарное деление предложения и заменил его пониманием логики предложения с точки зрения логических предикатов и их аргументов. Согласно этой альтернативной концепции логики предложения, бинарное деление предложения на подлежащее и сказуемое было невозможно. Таким образом, это открыло дверь для отношения зависимости (хотя отношение зависимости в менее очевидной форме существовало и в традиционных грамматиках задолго до Фреге). Отношение зависимости было впервые конкретно признано и развито как основа комплексной теории синтаксиса и грамматики Люсьеном Тесниером в его посмертно опубликованной работе «Éléments de Syntaxe Structurele» («Элементы структурного синтаксиса»). [4]
Отношение зависимости представляет собой взаимно однозначное соответствие: для каждого элемента (слова или морфа) в предложении существует только один узел синтаксической структуры. Таким образом, это различие является различием в теории графов . Отношение зависимости ограничивает количество узлов в синтаксической структуре предложения точным количеством синтаксических единиц (обычно слов), которые содержит это предложение. Таким образом, предложение из двух слов, «Люк смеялся», подразумевает всего два синтаксических узла: один для Люка и один для слова «смеется» . Здесь перечислены некоторые известные грамматики зависимостей:
Поскольку все эти грамматики основаны на отношении зависимости, они по определению НЕ являются грамматиками фразовой структуры.
Другие грамматики обычно избегают попыток группировать синтаксические единицы в кластеры таким образом, чтобы можно было проводить классификацию с точки зрения различия между составляющими и зависимостями. В этом отношении следующие грамматические рамки не совпадают по обе стороны разделительной линии: