Существует большое разнообразие традиционных определений алгоритмов, ориентированных на тот или иной способ вычислений: функции, изобразимые ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Анисимов А.В. Рекурсивные преобразователи информации


Существует большое разнообразие традиционных определений алгоритмов, ориентированных на тот или иной способ вычислений: функции, изобразимые в арифметическом исчислении предикатов ( К. Гедель, 1931), - определимые функции ( А. Фундаментальной логической основой теории алгоритмов является тот факт, что все эти определения эквивалентны в смысле возможности моделирования вычислений. В классической теории алгоритмов основной упор делается на понятие принципиальной вычислимости, а форма задания алгоритма особой роли не играет. Характерной особенностью традиционных определений алгоритма является выбор минимальных средств для представления и преобразования информации, продиктованный соображениями удобства формализации понятия алгоритма. Процедуры конкретных вычислений, записанные при помощи подобных минимальных средств, сводятся к сложной кодировке и моделированию преобразования информации и обычно настолько громоздки и затруднительны для понимания, что не могут быть использованы в реальной практике.

(cкачать страницу)

Смотреть книгу на libgen

Существует большое разнообразие традиционных определений алгоритмов, ориентированных на тот или иной способ вычислений: функции, изобразимые в арифметическом исчислении предикатов ( К. Гедель, 1931), - определимые функции ( А. Фундаментальной логической основой теории алгоритмов является тот факт, что все эти определения эквивалентны в смысле возможности моделирования вычислений. В классической теории алгоритмов основной упор делается на понятие принципиальной вычислимости, а форма задания алгоритма особой роли не играет. Характерной особенностью традиционных определений алгоритма является выбор минимальных средств для представления и преобразования информации, продиктованный соображениями удобства формализации понятия алгоритма. Процедуры конкретных вычислений, записанные при помощи подобных минимальных средств, сводятся к сложной кодировке и моделированию преобразования информации и обычно настолько громоздки и затруднительны для понимания, что не могут быть использованы в реальной практике.