Изменения
→Теорема Успенского-Райса
'''else'''
'''while''' ''true''
Исключение пустого множества нам нужно чтобы различать <tex> X</tex> и пустое.
Нетрудно понять, что в разумной модели вычислений номер этой программы можно вычислить по данным <tex>i</tex> и <tex>x</tex>. Значит, можно рассмотреть такую программу:
<tex>US(\langle i, x \rangle )</tex>
</tex>
Следовательно, <br/> <tex>
US(\langle i, x \rangle ) = p_A(g_{i,x}) = \begin{cases}
