к зміни значення параметра для кожного повторення. Блок «зумовлений процес» використовується для вказівки звернень до допоміжних алгоритмах, існуючим автономно у вигляді деяких самостійних модулів, і для звернень до бібліотечних підпрограм.
. ВЛАСТИВОСТІ АЛГОРИТМІВ
Алгоритм повинен бути складений таким чином, щоб виконавець, у розрахунку на якого він створений, міг однозначно і точно слідувати командам алгоритму і ефективно отримувати певний результат. Це накладає на запису алгоритмів ряд обов'язкових вимог, суть яких випливає, взагалі кажучи, з наведеного вище неформального тлумачення поняття алгоритму. Сформулюємо ці вимоги у вигляді переліку властивостей, яким повинні задовольняти алгоритми, адресовані заданому виконавцю.
. Одне з перших вимог, яка пред'являється до алгоритму, полягає в тому, що описуваний процес повинен бути розбитий на послідовність окремих кроків. Виникає в результаті такого розбиття запис являє собою упорядковану сукупність чітко розділених один від одного приписів (директив, команд, операторів), що утворюють переривчастим (або, як кажуть, дискретну) структуру алгоритму. Тільки виконавши вимоги одного приписи, можна приступити до виконання наступного. Дискретна структура алгоритмічної запису може. Наприклад, подчеркиваться наскрізною нумерацією окремих команд алгоритму, хоча це вимога не є обов'язковою. Розглянуте властивість алгоритмів називають дискретністю.
. Використовувані на практиці алгоритми складаються з орієнтацією на певного виконавця. Щоб скласти для нього алгоритм, потрібно знати, які команди цей виконавець може зрозуміти і виконати, а які - не може. Ми знаємо, що у кожного виконавця є своя система команд. Очевидно, складаючи запис алгоритму для певного виконавця, можна використовувати лише ті команди, які є в його СКІ. Ця властивість алгоритмів будемо називати зрозумілістю.
. Будучи зрозумілим, алгоритм не повинен містити приписів, зміст яких може сприйматися неоднозначно, тобто одна і та ж команда, будучи зрозуміла різним виконавцям, після виконання кожним з них повинна давати однаковий результат. Запис алгоритму повинна бути настільки чіткої, повної та продуманої в деталях, щоб у виконавця не могло виникнути потреби у прийнятті рішень, не передбачених укладачем алгоритму. Говорячи інакше, алгоритм не повинен залишати місця для сваволі виконавця. Крім того, в алгоритмах неприпустимі також ситуації, коли після виконання чергової команди алгоритму виконавцю неясно, яка з команд алгоритму повинна виконуватися на наступному кроці. Зазначене властивості алгоритмів називають визначеністю або детерминированностью.
. Обов'язкова вимога до алгоритмів - результативність. Сенс цієї вимоги полягає в тому, що при точному виконанні всіх приписів алгоритму процес повинен припинитися за кінцеве число кроків і при цьому повинен вийти певний результат. Висновок про те, що рішення не існує - теж результат.
. Найбільш поширені алгоритми, що забезпечують рішення не однієї конкретної задачі, а деякого класу задач даного типу. Це властивість алгоритму називають масовістю. У простому випадку масовість забезпечує можливість використання різних вихідних даних.
. ПОНЯТТЯ АЛГОРИТМІЧНОГО МОВИ
Досить поширеним способом представлення алгоритму є ...
