Расширенная грамматика аффиксов
В информатике , расширенные аффиксные грамматики ( EAG ) представляют собой формальный грамматический формализм для описания контекстно-свободного и контекстно-зависимого синтаксиса языка, как естественного языка так и языков программирования .
EAG — член семейства двухуровневых грамматик ; более конкретно, ограничение грамматик Ван Вейнгаардена с конкретной целью сделать возможным синтаксический анализ .
Подобно грамматикам Ван Вейнгаардена, EAG имеют гиперправила , которые образуют контекстно-свободную грамматику, за исключением того, что их нетерминалы могут иметь аргументы, известные как аффиксы , возможные значения которых предоставляются другой контекстно-свободной грамматикой, метаправилами . [ нужна ссылка ]
EAG были представлены и изучены Д. А. Уоттом в 1974 году; Распознаватели были разработаны в Университете Неймегена в период с 1985 по 1995 год. Разработанный там компилятор EAG будет генерировать либо распознаватель, преобразователь, транслятор, либо синтаксически управляемый редактор для языка, описанного в формализме EAG. Формализм очень похож на Пролог , в той степени, в которой он заимствовал оператор сокращения .
EAG использовались для написания грамматик естественных языков, таких как английский, испанский и венгерский. Целью было проверить грамматики, заставив их анализировать корпуса текста ( корпусная лингвистика ); следовательно, синтаксический анализ должен был быть достаточно практичным. Однако проблема взрыва дерева синтаксического анализа , которую обычно создают неоднозначности в естественном языке при таком подходе, усугубляется для EAG, поскольку каждый выбор значения аффикса может привести к отдельному синтаксическому анализу, даже если несколько разных значений эквивалентны. Предложенное решение состояло в том, чтобы вместо этого переключиться на гораздо более простую аффиксную грамматику на конечной решетке ( AGFL ), в которой метаграмматики могут создавать только простые конечные языки. [1]