Изменения

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

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

2 байта добавлено, 08:34, 23 декабря 2011

Нет описания правки

<tex>r(x)</tex>

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

'''while''' <tex> true </tex>

'''else'''

271

правка

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