WikiDer > Курода нормальная форма

Kuroda normal form

В формальная теория языка, а грамматика в Курода нормальная форма если все производственные правила имеют вид:[1]

ABCD или же
Адо н.э или же
АB или же
Аа

где A, B, C и D - нетерминальный символы и а это символ терминала.[1] Некоторые источники опускают АB шаблон.[2]

Он назван в честь Сигэ-Юки Курода, который изначально называл это линейная ограниченная грамматика- терминология, которую впоследствии использовали и некоторые другие авторы.[3]

Каждая грамматика в нормальной форме Куроды неконтрактный, и, следовательно, генерирует контекстно-зависимый язык. И наоборот, каждый контекстно-зависимый язык, который не генерирует пустой строкой может быть порожден грамматикой в ​​нормальной форме Курода.[2]

Простая техника, приписываемая Дьёрдю Ревесу, преобразует грамматику в форме Куроды в CSG Хомского: ABCD заменяется четырьмя контекстными правилами ABАризона, АризонаWZ, WZWD и WDCD. Этот метод также доказывает, что любая грамматика, не связанная с контрактом, контекстно-зависима.[1]

Аналогичная нормальная форма существует для неограниченная грамматика а также, которую по крайней мере некоторые авторы называют "нормальной формой Курода":[4]

ABCD или же
Адо н.э или же
Аа или же
Аε

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

Если исключить из приведенного выше правило AB → CD, то получаются контекстно-свободные языки.[5] В Пенттонен нормальная форма (для неограниченных грамматик) - это частный случай, когда A = C в первом правиле выше.[4] Для контекстно-зависимых грамматик нормальная форма Пенттонена, также называемая односторонняя нормальная форма (следуя собственной терминологии Пенттонена) справедливо:[1][2]

ABОБЪЯВЛЕНИЕ или же
Адо н.э или же
Аа

Как следует из названия, для каждого контекстно-зависимая грамматикасуществует [слабо] эквивалентная односторонняя нормальная форма Пенттонена.[2]

Смотрите также

Рекомендации

  1. ^ а б c d Масами Ито; Юдзи Кобаяши; Кунитака Сёдзи (2010). Автоматы, формальные языки и алгебраические системы: Труды AFLAS 2008, Киото, Япония, 20-22 сентября 2008 г.. World Scientific. п. 182. ISBN 978-981-4317-60-3.
  2. ^ а б c d е Матееску, Александру; Саломаа, Арто (1997). «Глава 4: Аспекты теории классического языка». В Розенберге, Гжегоже; Саломаа, Арто (ред.). Справочник формальных языков. Том I: Слово, язык, грамматика. Springer-Verlag. п. 190. ISBN 978-3-540-61486-9.
  3. ^ Виллем Дж. М. Левелт (2008). Введение в теорию формальных языков и автоматов. Издательство Джона Бенджамина. С. 126–127. ISBN 978-90-272-3250-2.
  4. ^ а б Александр Медуна (2000). Автоматы и языки: теория и приложения. Springer Science & Business Media. п. 722. ISBN 978-1-85233-074-3.
  5. ^ Александр Медуна (2000). Автоматы и языки: теория и приложения. Springer Science & Business Media. п. 728. ISBN 978-1-85233-074-3.

дальнейшее чтение