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