Изменения
→Примеры разрешимых множества
|proof=
Приведём программу, разрешающую язык чётных чисел:
<tex>p(i){: } </tex>
'''if''' <tex>i \ \bmod \ 2 == 0 </tex>
'''return''' 1
Приведем программу, разрешающую данную проблему для числа <tex>e</tex>:
<tex>p(r){: } </tex>
'''if''' (<tex>r</tex> < 2)
'''return''' 1
