Изменения

Перейти к: навигация, поиск

Возможность порождения формальной грамматикой произвольного перечислимого языка

84 байта добавлено, 22:11, 21 декабря 2015
м
→‎Теорема
{{Теорема
|statement=
Язык распознается [[Машина Тьюринга | машиной Тьюринга ]] тогда и только тогда, когда он генерируется [[Формальные грамматики | формальной грамматикой]].
|proof=
{{Лемма
KK
275
правок
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/50367»

Навигация