Математическая энциклопедия:
Для данного класса алгоритмов — алгоритм с входным параметром р, к-рый при различных допустимых значениях р моделирует работу любого алгоритма данного класса. Различным формализациям вычислимости соответствуют различные уточнения понятия У. а.: для рекурсивных функций это универсальная частично рекурсивная функция (см. Универсальная функция), для Тьюринга машин — это универсальная машина Тьюринга, для нормальных алгорифмов — это универсальный нормальный алгорифм, и т. д. Лит.:[1] Успснский В. А., Лекции о вычислимых функциях, М., 1960; [2] Мальцев А. И., Алгоритмы и рекурсивные функции, М., 1965; [3] Роджерс X., Теория рекурсивных функций и эффективная вычислимость, пер. с англ., М., 1972. С. Н. Артемов.
© «СловоТолк.Ру» — толковые и энциклопедические словари, 2007-2020