Математическая энциклопедия - универсальный алгоритм

для данного класса алгоритмов алгоритм с входным параметром р, к-рый при различных допустимых значениях р моделирует работу любого алгоритма данного класса. Различным формализациям вычислимости соответствуют различные уточнения понятия У. а.: для рекурсивных функций это универсальная частично рекурсивная функция (см. Универсальная функция), для Тьюринга машин - это универсальная машина Тьюринга, для нормальных алгорифмов это универсальный нормальный алгорифм, и т. д.

Лит.:[1] Успснский В. А., Лекции о вычислимых функциях, М., 1960; [2] Мальцев А. И., Алгоритмы и рекурсивные функции, М., 1965; [3] Роджерс X., Теория рекурсивных функций и эффективная вычислимость, пер. с англ., М., 1972.

С. Н. Артемов.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985