Изменения

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

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

17 байт добавлено, 07:09, 14 декабря 2011

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

Язык чётных чисел разрешим.

|proof=

Приведём программу, разрешающую ~~наш~~ языкчётных чисел:

<tex>p(i)</tex>

'''if''' остаток от деления i на 2 = 0

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

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