Изменения

'''for''' <tex>a \in D(f)</tex>

'''if''' <tex>a == x \land f(a) == y</tex>

Так как [[#D(f)|область определения вычислимой функции перечислима]], то можно перебрать элементы области определения. Если алгоритм нашел нужную нам пару, то вернуть 1.<br/>

<tex>2 \Rightarrow 1</tex><br/>

'''for''' <tex>\langle x, y \rangle \in F</tex>

'''if''' <tex>x == n</tex>

Так как <tex>F</tex> перечислимое множество, то можно перебрать элементы этого множества.

}}