Изменения
Нет описания правки
После этого параллельно запустим проверки <tex>y \in K</tex> и <tex>L(g) \in A</tex>. Аналогично, данная процедура разрешает множество <tex>K</tex>. Но <tex>K</tex> не является разрешимым, получено противоречие.
}}
Полуразрешитель для множества образцов, удовлетворяющих <tex>A\Gamma</tex> строится следующим образом: для каждого образца <tex>\gamma</tex> строится текст программы
f<tex>{}_\gamma</tex>(x):
'''return''' x <tex>{} \in \gamma</tex>
