Cтраница 3
Однако под правильностью в первую очередь понимаются вопросы, связанные с содержанием математического аппарата, с его способностью давать достаточно хорошую модель процесса. К надежности алгоритма прямое отношение имеет и формальная сторона построения алгоритма. Материализация заключается в изображении модели с помощью алгоритмического языка ( алгоритмических языков) в форме алгоритма. При этом даже правильная ( мыслимая) модель может быть изображена с ошибками в форме алгоритма. Таким образом, помешать алгоритму правильно выполнять функции могут алгоритмические ошибки, источником которых является автор. Для линейных алгоритмов, в которых все операции ( действия) обязательно выполняются при любом наборе исходных данных, отыскание подобных ошибок является достаточно простой задачей. Большинство алгоритмов реализуют сложные, ветвящиеся вычислительные процессы. Количество йозможных путей вычислений в зависимости от значений исходных данных чрезвычайно велико. Поэтому отыскание подобных алгоритмических ошибок несмотря на их формальный характер является сложной проблемой, так как из множества возможных вариантов ( нескольких миллионов) работы алгоритма неверными могут быть лишь несколько. [31]