3622
правки
Изменения
м
→Основные определения
}}
Другими словами, ''универсальный язык'' {{---}} это язык всех таких пар "программа и её вход" таких, что программа на входе возвращает <tex>1</tex>.
Так как в теории вычислимости нету структур данных, то для представления программы и её входных данных можно использовть число вида:
