1.9. Заключение
1.Проблема алгоритмической неразрешимости более трудная, чем проблема алгоритмической разрешимости, и связано это с тем, что понятие «алгоритм», выраженное через признаки 1-5 алгоритма, является нечётким. Из этого следует необходимость уточнения понятия «алгоритм».
2. Понятие «алгоритм» и «вычислительный процесс» близки, однако отличаются тем, что в алгоритме больше внимания уделяется тому, как делать, а в вычислительном процессе - что делать для получения результата.
3. Любой вычислительный процесс может быть представлен композицией следующих его фрагментов: линейный, ветвящийся, циклический. Для организации разветвлений и циклов могут быть использованы различные операторы; так, в простейшем случае (одно-два повторения) для организации разветвлений может быть использован оператор while .. do (repeat .. until). Выбор того или иного оператора в конкретном случае остаётся за программистом.
4. Схема алгоритма является наглядным способом представления вычислительного процесса, однако здесь имеется неоднозначность: конкретный алгоритм - это его схема плюс её интерпретация.
5. СА может быть представлена с разной степенью подробности. Так, блок ввода/вывода может включать в себя несколько циклов. Поэтому линейными в действительности могут быть только очень простые алгоритмы или их некоторые фрагменты.
6. СА допускают эквивалентные преобразования, что может быть использовано для повышения эффективности алгоритмов. С этой же целью имеет смысл выносить из тела цикла все операторы, не связанные с параметром цикла. Важно также обеспечить стыковку циклов друг с другом при их вложенности или цикла с остальной частью алгоритма. Стыковка предполагает передачу переменных и параметров, их переобозначение, вспомогательные вычисления (например начальных параметров следующего цикла) и т.д. Необходимо повышенное внимание уделить особым случаям, встречающихся в данных либо в формулах (например, в алгоритме нахождения минимального числа - это случай, когда входное множество содержит один элемент либо оно пустое; деление на 0 и т.п.), а также двум моментам в организации циклов: как выполнено начало цикла и его конец.