275
правок
Изменения
м
{{Теорема
|statement=
[[Перечислимые языки | Язык]] распознается [[Машина Тьюринга | машиной Тьюринга]] тогда и только тогда, когда он генерируется [[Формальные грамматики | формальной грамматикой]].
|proof=
Нет описания правки
__NOTOC__
{{Лемма
|statement=
}}
{{Теорема
|statement=
[[Перечислимые языки | Язык]] распознается [[Машина Тьюринга | машиной Тьюринга]] тогда и только тогда, когда он генерируется [[Формальные грамматики | формальной грамматикой]].
}}
