271
правка
Изменения
Нет описания правки
= Определения =
Рассмотрим множество всех [[Перечислимые_языки|перечислимых]] языков <tex> RE </tex>.
{{Определение
|definition='''Свойством языков''' называется множество <tex> A \subset RE </tex>.
Рассмотрим вспомогательную программу:
<tex>g_{i,x}(y):</tex>
if U(i, x) == 1
return <tex>p_X(y)</tex>
else
