Изменения

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

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

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

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

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

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

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

'''while''' (true)

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

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