1632
правки
Изменения
м
rollbackEdits.php mass rollback
===Пример===
<tex>L=\{w \in \Sigma^* | \mid w = 0^n1^n2^n, n \geqslant 1\}</tex>
Продукции:
===Пример===
<tex>L=\{w \in \Sigma^* | \mid w = w^R\}</tex> (язык палиндромов).
Продукции: <tex>S\rightarrow\alpha S\alpha\,|\,\alpha\,|\,\varepsilon, \alpha \in \Sigma</tex>
== См. также ==
* [[Разрешимые_(рекурсивные)_языки|Разрешимые (рекурсивные) языкиПравоконтекстные грамматики, эквивалентность автоматам]]
* [[Возможность_порождения_формальной_грамматикой_произвольного_перечислимого_языка|Возможность порождения формальной грамматикой произвольного перечислимого языка]]
[[Категория: Теория формальных языков]]
[[Категория: Контекстно-свободные грамматики]]
[[Категория: Базовые понятия о грамматиках]]
