271
правка
Изменения
Нет описания правки
Приведём программу, разрешающую язык чётных чисел:
<tex>p(i):</tex>
'''if''' <tex> (i \ 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'''
