Изменения
→Примеры разрешимых множества
Приведём программу, разрешающую язык чётных чисел:
<tex>p(i): </tex>
Заметим, что программа нигде не может зависнуть.
<tex>p(r): </tex>
'''return''' 1
'''if''' (getDigit(<tex>er</tex>, i) < getDigit(<tex>r</tex>, i)3)
'''return''' 0
'''for'''(i = 0;; ++i)
'''if''' (getDigit(<tex>e</tex>, i) > getDigit(<tex>r</tex>, i))
'''return''' 1
'''if''' (getDigit(<tex>e</tex>, i) < getDigit(<tex>r</tex>, i))
'''return''' 0
Так как число ''e'' иррационально (не существует его рационального представления), то ответ будет найден.
}}
