Изменения

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

2 байта добавлено, 16:56, 2 января 2017

→‎Пример использования теоремы о рекурсии в доказательстве о неразрешимости языка

Рассмотрим следущую программу:

<code>

'''if''' <tex>r(p)</tex>

'''return''' 1

313

правок