Рекурсивный Оператор Всюду определенный частично рекурсивный оператор. В. Е. Плиско. Математическая энциклопедия