Изменения

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

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

2 байта добавлено, 16:56, 2 января 2017
Пример использования теоремы о рекурсии в доказательстве о неразрешимости языка
Рассмотрим следущую программу:
<code>
<tex>p(x){:}</tex>
'''if''' <tex>r(p)</tex>
'''return''' 1
313
правок

Навигация