Изменения

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

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

2 байта добавлено, 16:56, 2 января 2017
Альтернативное доказательство с использованием теоремы о рекурсии
Допустим, что он разрешим. Тогда напишем такую программу:
<code>
<tex>p(x){:}</tex>
'''if''' <tex>u(\mathrm{getSrc()}, x)</tex>
'''while''' ''true''
313
правок

Навигация