1632
правки
Изменения
м
rollbackEdits.php mass rollback
|definition =
Пусть <tex>\Gamma</tex> {{---}} [[Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора|контекстно-свободная грамматика]].
Правило <tex>A \rightarrow \beta </tex> называется '''длинным''' (англ. ''longrule''), если <tex>|\beta| > 2</tex>.
}}
== Пример работы ==
Покажем, как описанный алгоритм будет работать на следующей грамматике:
: <tex>S \rightarrow AB</tex>, : <tex>A \rightarrow aBcB</tex>, : <tex>B \rightarrow def</tex>.
Для правила <tex>A \rightarrow aBcB</tex> вводим <tex> 2 </tex> новых нетерминала <tex>A_1, A_2</tex> и <tex> 3 </tex> новых правила: : <tex>A \rightarrow aA_1</tex>, : <tex>A_1 \rightarrow BA_2</tex>,: <tex>A_2 \rightarrow cB</tex>.
Для правила <tex>B \rightarrow def</tex> вводим <tex> 1 </tex> новый нетерминал <tex>B_1</tex> и <tex> 2 </tex> новых правила: : <tex>B \rightarrow dB_1</tex>,: <tex>B_1 \rightarrow ef</tex>.
В итоге полученная грамматика <tex>\Gamma'</tex> будет иметь вид:
: <tex>S \rightarrow AB</tex>, : <tex>A \rightarrow aA_1</tex>, : <tex>A_1 \rightarrow BA_2</tex>, : <tex>A_2 \rightarrow cB</tex>, : <tex>B \rightarrow dB_1</tex>, : <tex>B_1 \rightarrow ef</tex>.
== См. также ==
* ''Michael A. Harrison'' Introduction to Formal Language Theory. — Addison-Wesley, 1978. — ISBN 978-0201029550. (с 103.)
* [[wikipedia:en:Chomsky_normal_form#Converting a grammar to Chomsky Normal Form | Wikipedia {{---}} Chomsky normal form]]
[[Категория: Теория формальных языков]]
[[Категория: Контекстно-свободные грамматики]] [[Категория: Нормальные формы КС-грамматик]]
