Изменения
Нет описания правки
Приведём программу, разрешающую язык чётных чисел:
<tex>p(i)</tex>
'''if''' <tex> (i \equiv 0 \ (mod \ 2== 0) </tex>
'''return''' <tex> 1 </tex>
'''else'''
<tex>r(x)</tex>
'''if''' <tex> u(\langle x, x \rangle) == 1 </tex>
'''while''' <tex> true </tex>
'''else'''
