Грамматики и алгоритмы

Грамматика и словарь задают лингвистическую модель, образуя основную часть лингвистических данных. Алгоритмы их обработки, т. е. соотнесения с текстовыми единицами, относят к математико-алгоритмическому обеспечению системы.

Разделение грамматик и алгоритмов важно в практическом смысле, т.к. позволяет менять правила грамматики, не меняя алгоритмов (и соответственно программ), работающих с грамматиками.

Грамматики синтаксического уровня — наиболее разработанная часть и с точки зрения лингвистики, и с точки зрения их обеспечения формализмами.

Цепочечная грамматика фиксирует порядок следования элементов, т. е. линейные структуры предложения, задавая их в терминах грамматических классов слов (артикль + существительное + предлог.) или в терминах функциональных элементов (подлежащее + сказуемое).

Грамматика составляющих (или грамматика непосредственно составляющих — ГНС) фиксирует лингвистическую информацию о группировке грамматических элементов, например: именная группа (состоит из существительного, артикля, прилагательного и других модификаторов), предложная группа (состоит из предлога и именной группы) и т. д. до уровня предложения.

Грамматика зависимостей (ГЗ) задает иерархию отношений элементов предложения (главное слово определяет форму зависимых).

Категориальная грамматика Бар-Хиллела — это версия грамматики составляющих, в ней только две категории — предложения S и имени п. Остальные определяются в терминах способности комбинироваться с этими главными в структуре НС. Переходный глагол определен как nS, т.к. он сочетается с именем n слева от него, образуя предложение S.

В грамматике обобщенных составляющих (ГОС) введены метаправила, являющиеся обобщением закономерностей правил.

В грамматиках расширенных сетей переходов (ГРСП) предусмотрены тексты и условия к дугам, а также инструкции, которые надо выполнить в случае, если анализ пошел по данной дуге.

Новым и сразу завоевавшим популярность методом грамматического описания является лексико-функциональная грамматика (ЛФГ). Она устраняет необходимость трансформационных правил. Хотя ЛФГ основывается на КСГ, проверочные условия в ней отделены от правил подстановки и «решаются» как автономные уравнения.

Унификационные грамматики (УГ) представляют собой следующий после граф-схем этап обобщения модели анализа: они способны воплощать грамматики различных видов. УГ содержит четыре компонента: пакет унификаций, интерпретатор для правил лексических описаний, программы обработки направленных графов, анализатор с помощью граф-схемы. УГ объединяют грамматические правила со словарными описаниями, синтаксические валентности с семантическими.