Jump to content

Головная грамматика

Головная грамматика ( HG ) — это грамматический формализм, представленный Карлом Поллардом (1984). [1] как расширение класса контекстно-свободных грамматик . Таким образом, головная грамматика является разновидностью грамматики фразовой структуры , в отличие от грамматики зависимостей . Класс головных грамматик является подмножеством линейных контекстно-свободных систем переписывания .

Одним из типичных способов определения головных грамматик является замена терминальных строк CFG индексированными терминальными строками, где индекс обозначает «головное» слово строки. Так, например, правило CF, такое как вместо этого может быть , где 0-й терминал, a , является заголовком результирующей терминальной строки. Для удобства записи такое правило можно записать как просто терминальную строку, причем головной терминал обозначается какой-то меткой, как в .

Затем ко всем правилам перезаписи добавляются две фундаментальные операции: перенос и конкатенация.

Операции над строками с заголовками

[ редактировать ]

упаковка

[ редактировать ]

Перенос — это операция над строками с двумя заголовками, определяемая следующим образом:

Позволять и быть терминальными строками, возглавляемыми x и y соответственно.

Конкатенация

[ редактировать ]

Конкатенация — это семейство операций над строками с заголовком n > 0, определяемое для n = 1, 2, 3 следующим образом:

Позволять , , и быть терминальными строками, возглавляемыми x , y и z соответственно.

И так далее для . Здесь можно суммировать шаблон просто как «объединить некоторое количество терминальных строк m , при этом заголовок строки n будет обозначен как заголовок результирующей строки».

Форма правил

[ редактировать ]

Правила головной грамматики определяются в терминах этих двух операций, при этом правила принимают любую из форм

где , , ... являются либо терминальной строкой, либо нетерминальным символом.

Головные грамматики способны генерировать язык . Мы можем определить грамматику следующим образом:

Таким образом, вывод слова «abcd» таков:

И для «aabbccdd»:

Формальные свойства

[ редактировать ]

Эквиваленты

[ редактировать ]

Виджай-Шанкер и Вейр (1994) [2] продемонстрировать, что линейные индексированные грамматики , комбинаторные категориальные грамматики , древовидные грамматики и головные грамматики являются слабо эквивалентными формализмами, поскольку все они определяют одни и те же строковые языки.

  1. ^ Поллард, К. 1984. Грамматики обобщенной фразовой структуры, главные грамматики и естественный язык . доктор философии диссертация, Стэнфордский университет, Калифорния.
  2. ^ Виджей-Шанкер, К. и Вейр, Дэвид Дж. 1994. Эквивалентность четырех расширений контекстно-свободных грамматик . Теория математических систем 27 (6): 511-546.
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: f9f17df1df8ad45a2c0ec4ec9c2ec89b__1649245680
URL1:https://arc.ask3.ru/arc/aa/f9/9b/f9f17df1df8ad45a2c0ec4ec9c2ec89b.html
Заголовок, (Title) документа по адресу, URL1:
Head grammar - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)