Теория алгоритмов и формальных языков. Мелихов А.Н - 4 стр.

UptoLike

0.3. Интуитивное понятие алгоритмов
Слово алгоритм связывают с именем арабского математика IX века
Мухаммеда ибн Аль-Хорезми, впервые выдвинувшего идею о том, что
решение любой поставленной математической и философской задачи может
быть оформлено в виде последовательности число механически (без всякой
изобретательности) выполняемых правил, т.е. может быть алгоритмирование.
Этого же мнения
придерживались Декарт, Лейбниц, Гильберт. Веру в
возможность алгоритмизации любой задачи подорвал Гедель, в 1931 году
опубликовавший работу «О формально неразрешимых предложениях
оснований математики и родственных систем», в которой он доказал, что
существуют математические проблемы, для решения которых не может быть
найден алгоритм.
В настоящее время более полному понятию алгоритма по сравнению
с
приведенным выше соответствует определение, включающее следующие
категории.
1. Алгоритм есть конечная совокупность инструкций.
2. Есть некоторый механизм, воспринимающий и исполняющий
инструкцию.
3. Имеются средства, позволяющие хранить и фиксировать сведения о
всех этапах работы алгоритма, хранить промежуточные результаты и
выдавать их по мере необходимости.
4. Все выполняемые алгоритмом действия являются дискретными.
5. Последовательность
операций, из которых складывается алгоритм,
детерминирована и в каждом шаге выполняется единственным образом.
Из сказанного напрашивается следующая аналогия с парой программа-
ЭВМ, именно: первому пункту соответствует понятие программы; второму -
ЭВМ; третьему - память ЭВМ; четвертому - дискретный характер работы
ЭВМ; пятому - жесткий порядок действий ЭВМ.