Вычислительная техника в инженерных расчетах. Дурина Т.А. - 17 стр.

        Формальные свойства алгоритмов
        Различные определения алгоритма в явной или неявной форме содержат
следующий ряд общих требований:
        Дискретность — алгоритм должен представлять процесс решения задачи
как последовательное выполнение некоторых простых шагов. При этом для вы-
полнения каждого шага алгоритма требуется конечный отрезок времени, то есть
преобразование исходных данных в результат осуществляется во времени дис-
кретно.
        Детерминированность (определённость). В каждый момент времени, сле-
дующий шаг работы однозначно определяется состоянием системы. Таким обра-
зом, алгоритм выдаёт один и тот же результат (ответ) для одних и тех же исход-
ных данных.
        Понятность — алгоритм для исполнителя должен включать только те ко-
манды, которые ему (исполнителю) доступны, которые входят в его систему ко-
манд.
        Завершаемость (конечность) — при корректно заданных исходных данных
алгоритм должен завершать работу и выдавать результат за конечное число ша-
гов. С другой стороны, вероятностный алгоритм может и никогда не выдать ре-
зультат, но вероятность этого равна 0.
        Массовость (универсальность). Алгоритм должен быть применим к раз-
ным наборам исходных данных.
        Результативность — завершение алгоритма определёнными результатами.
        Алгоритм содержит ошибки, если приводит к получению неправильных
результатов, либо не даёт результатов вовсе.
        Алгоритм не содержит ошибок, если он даёт правильные результаты для
любых допустимых исходных данных.


                 7. Схемы алгоритмов, программ, данных и систем
        ГОСТ 19.701-90


                                                                            17