Если X - класс вычислимых одноместных функции, Y из X, Z - перечислимое неразрешимое множество, U - главная функция, то существует всюду определенная функция f со свойством:
Если X - класс вычислимых одноместных функции, Y из X, Z - перечислимое неразрешимое множество, U - главная функция, то существует всюду определенная функция f со свойством:
Главная универсальная функция:
Всякая частично рекурсивная функция:
Таблица переходов машины Тьюринга - функция:
Таблица переходов машины Тьюринга - функция:
Частично рекурсивная и всюду определенная функция называется: