Изменения

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

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

8 байт добавлено, 01:41, 10 января 2015

→‎Примеры неразрешимых множества

<tex>r(x):</tex>

'''if''' <tex>u(\langle x, x \rangle) == 1 </tex> '''while''' (true) '''else''' '''return''' 1

Рассмотрим вызов <tex> r(r) </tex>:

Анонимный участник

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/43861»