205
правок
Изменения
м
→Основные определения
<tex>p(\langle x, y\rangle)</tex>
'''for''' <tex>a \in D(f)</tex>
'''if''' <tex>a == x && \land f(a) == y</tex>
'''then return''' 1
Так как [[#D(f)|область определения вычислимой функции перечислима]], то можно перебрать элементы области определения. Если алгоритм нашел нужную нам пару, то вернуть 1.<br/>
