Изменения
Нет описания правки
}}
Другими словами, ''универсальный язык'' {{---}} это язык всех пар "программа программ и её вход" такихих входных данных, что на которых программа на входе возвращает <tex>1</tex>. Программа {{---}} это набор строк, занумеровав которые, можем получить биекцию между строками и натуральными числами.
Далее считаем, что входные данные программы и сама программа расположены над одним алфавитом <tex>\Sigma</tex>.
== Примеры разрешимых множества ==
