Приведение грамматики к ослабленной нормальной форме Грейбах — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
м (rollbackEdits.php mass rollback)
 
Строка 1: Строка 1:
{| class="wikitable" align="center" style="color: red; background-color: black; font-size: 56px; width: 800px;"
 
|+
 
|-align="center"
 
|'''НЕТ ВОЙНЕ'''
 
|-style="font-size: 16px;"
 
|
 
24 февраля 2022 года российское руководство во главе с Владимиром Путиным развязало агрессивную войну против Украины. В глазах всего мира это военное преступление совершено от лица всей страны, всех россиян.
 
 
Будучи гражданами Российской Федерации, мы против своей воли оказались ответственными за нарушение международного права, военное вторжение и массовую гибель людей. Чудовищность совершенного преступления не оставляет возможности промолчать или ограничиться пассивным несогласием.
 
 
Мы убеждены в абсолютной ценности человеческой жизни, в незыблемости прав и свобод личности. Режим Путина — угроза этим ценностям. Наша задача — обьединить все силы для сопротивления ей.
 
 
Эту войну начали не россияне, а обезумевший диктатор. И наш гражданский долг — сделать всё, чтобы её остановить.
 
 
''Антивоенный комитет России''
 
|-style="font-size: 16px;"
 
|Распространяйте правду о текущих событиях, оберегайте от пропаганды своих друзей и близких. Изменение общественного восприятия войны - ключ к её завершению.
 
|-style="font-size: 16px;"
 
|[https://meduza.io/ meduza.io], [https://www.youtube.com/c/popularpolitics/videos Популярная политика], [https://novayagazeta.ru/ Новая газета], [https://zona.media/ zona.media], [https://www.youtube.com/c/MackNack/videos Майкл Наки].
 
|}
 
 
 
{{Определение
 
{{Определение
 
|definition=Грамматикой в '''нормальной форме Грейбах''' (англ. ''Greibach normal form'') называется [[Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора|контекстно-свободная грамматика]], в которой могут содержаться только правила одного из следующих типов:
 
|definition=Грамматикой в '''нормальной форме Грейбах''' (англ. ''Greibach normal form'') называется [[Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора|контекстно-свободная грамматика]], в которой могут содержаться только правила одного из следующих типов:

Текущая версия на 19:27, 4 сентября 2022

Определение:
Грамматикой в нормальной форме Грейбах (англ. Greibach normal form) называется контекстно-свободная грамматика, в которой могут содержаться только правила одного из следующих типов:
[math] A \rightarrow a\gamma [/math]
[math] S \rightarrow \varepsilon [/math]
где [math] a [/math] — терминал, [math] A [/math] — нетерминал (возможно, стартовый), [math] S [/math] — стартовый нетерминал (причём он не должен встречаться в правых частях правил), [math] \varepsilon [/math] — пустая строка, [math] \gamma [/math] — строка из не более, чем двух нетерминалов.


Определение:
Грамматикой в ослабленной нормальной форме Грейбах (англ. Greibach weak normal form) называется контекстно-свободная грамматика, в которой могут содержаться только правила одного из следующих типов:
[math] A \rightarrow a\gamma [/math]
[math] S \rightarrow \varepsilon [/math]
где [math] a [/math] — терминал, [math] A [/math] — нетерминал (возможно, стартовый), [math] S [/math] — стартовый нетерминал (причём он не должен встречаться в правых частях правил), [math] \varepsilon [/math] — пустая строка, [math] \gamma [/math] — строка из произвольного числа терминалов и нетерминалов.


Приведение грамматики к ослабленной нормальной форме Грейбах

Теорема:
Любую контекстно-свободную грамматику можно привести к ослабленной нормальной форме Грейбах.
Доказательство:
[math]\triangleright[/math]

Рассмотрим контекстно-свободную грамматику [math] \Gamma [/math]. Для приведения её к нормальной ослабленной форме Грейбах нужно выполнить три шага. На каждом шаге мы строим новую грамматику, допускающую тот же язык, что и [math] \Gamma [/math].

  1. Избавимся от [math] \varepsilon [/math]-правил. Для этого воспользуемся алгоритмом удаления [math] \varepsilon [/math]-правил.
  2. Воспользуемся алгоритмом устранения левой рекурсии.Получим грамматику, все правила которой будут иметь следующий вид:
    • [math] A_i \rightarrow a \gamma [/math],
    • [math] A_i \rightarrow A_j \gamma [/math], где [math] A_i [/math], [math] A_j [/math] — нетерминалы, [math] a [/math] — терминал, [math] \gamma [/math] — произвольная последовательность из терминалов и нетерминалов, [math] i \lt j [/math].
  3. Воспользуемся следующей функцией для придания грамматике нужного вида:
function greibah(правила [math]A_1 \dots A_n[/math] из контекстно-свободной грамматики [math] \Gamma [/math]): 
   for i = n .. 1
      for j = i + 1 .. n
         Для каждого правила вывода из [math] A_j [/math] вида [math] A_j \rightarrow \delta_1 | \ldots | \delta_k [/math] заменить каждое правило [math] A_i \rightarrow A_j \gamma [/math] на [math] A_i \rightarrow \delta_1\gamma | \ldots | \delta_k\gamma [/math].

После каждой итерации главного цикла все правила для [math] A_k [/math] (где [math]k \geqslant i[/math]) будут иметь вид [math] A_k \rightarrow a \gamma [/math]. Значит, после применения процедуры все правила грамматики будут иметь вид [math] A \rightarrow a \gamma [/math].

Таким образом, мы получили грамматику в ослабленной нормальной форме Грейбах, которая допускает тот же язык, что и исходная.
[math]\triangleleft[/math]

Пример

Текущий шаг Грамматика после применения правила
0. Исходная грамматика [math]S\rightarrow XA|BB[/math]
[math]B\rightarrow b|SB[/math]
[math]X\rightarrow b[/math]
[math]A\rightarrow a[/math]
1. Удаление [math]\varepsilon[/math]-правил [math]S\rightarrow XA|BB[/math]
[math]B\rightarrow b|SB[/math]
[math]X\rightarrow b[/math]
[math]A\rightarrow a[/math]
2. Удаление стартового нетерминала из правых частей правил [math]S\rightarrow XA|BB[/math]
[math]B\rightarrow bAB|BBB|b[/math]
[math]X\rightarrow b[/math]
[math]A\rightarrow a[/math]
3. Удаление левой рекурсии [math]S\rightarrow XA|BB[/math]
[math]B\rightarrow bAB|b|bABZ|bZ[/math]
[math]Z\rightarrow BB|BBZ[/math]
[math]X\rightarrow b[/math]
[math]A\rightarrow a[/math]
4. Выполняем функцию greibah для правила [math]S\rightarrow XA|BB[/math] [math]S\rightarrow bA|bABB|bB|bABZB|bZB[/math]
[math]B\rightarrow bAB|b|bABZ|bZ[/math]
[math]Z\rightarrow BB|BBZ[/math]
[math]X\rightarrow b[/math]
[math]A\rightarrow a[/math]
5. Выполняем функцию greibah для правила [math]Z\rightarrow BB|BBZ[/math] [math]S\rightarrow bA|bABB|bB|bABZB|bZB[/math]
[math]B\rightarrow bAB|b|bABZ|bZ[/math]
[math]Z\rightarrow bABB|bB|bABZB|bZB|bABBZ|bBZ|bABZBZ|bZBZ[/math]
[math]X\rightarrow b[/math]
[math]A\rightarrow a[/math]


Асимптотика

Алгоритм состоит из трех шагов, сложность первого и последнего шага равны [math]O(\left| \Gamma \right|)[/math] и [math]O(\left| \Gamma \right| ^ 2)[/math] соответственно. Таким обзом, сложность алгоритма является [math]O(\left| \Gamma \right| ^ 2) + O\left(n\sum\limits_{i=1}^n a_j\right)[/math], где второй член — сложность алгоритма удаления левой рекурсии.

Применение

Простота доказательств

Использование нормальных форм существенно упрощает доказательство теорем. Например, использование нормальной формы Грейбах позволяет доказать, что для каждого контекстно-свободного языка (не содержащего [math]\varepsilon[/math]) существует автомат с магазинной памятью без переходов по [math]\varepsilon[/math]. [1]

Разбор грамматики

Нормальная форма Хомского позволяет производить разбор грамматики. Например, с помощью алгоритма Кока-Янгера-Касами. В свою очередь, нормальная форма Грейбах позволяет использовать метод рекурсивного спуска, сложность которого является линейной, несмотря на возвраты.

См. также

Примечания

Источники информации