Изменения

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

Разрешимые (рекурсивные) языки

4 байта добавлено, 17:11, 2 января 2017
Альтернативное доказательство с использованием теоремы о рекурсии
===Альтернативное доказательство с использованием теоремы о рекурсии===
По [[Теорема о рекурсии | теореме о рекурсии]], программа может знать свой исходный код. Значит, в неё можно написать функцию <tex> \mathrm{getSrc()} </tex>, которая вернёт строку {{---}} исходный код программы.
Допустим, что он язык разрешим. Тогда напишем такую программу:
<code>
<tex>p(x){:}</tex>
313
правок

Навигация