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