Графическое представление алгоритмов
Наиболее удобной традиционно часто используемой формой задания алгоритмов являются блок-схемы - специальное графическое изображение структуры алгоритма, обладающее большой наглядностью.
Введем для нее некоторые обозначения.
Обработка - действие, которое необходимо выполнить. обозначается прямоугольником с одним входом и одним выходом (рис.а).
Проверка - проверяет выполнение некоторого условия Р, имеет один вход и два выхода (рис.б).
Слияние - это соединение путей управления, имеет два входа и выход (рис.в).
Начало и конец - обозначают начало и конец вычислительного процесса (рис.г).
Ввод и вывод данных, не привязанный к конкретному устройству, обозначается параллелограммом. Внутри него пишется слово «Ввод» или «Вывод» и перечисляются вводимые или выводимые переменные (рис.д).
Условные графические изображения структурных элементов алгоритма
Из данных элементарных блок-схем можно построить четыре блок-схемы, имеющих особое значение для практики алгоритмизации.
Основные алгоритмические структуры
Изображены следующие блок-схемы: а - композиция, или следование; б - альтернатива, или развилка, в и г - блок-схемы, каждую из которых называют итерацией, или циклом (с предусловием (в), с постусловием (г)). S1 и S2 представляют собой в общем случае некоторые серии команд для соответствующего исполнителя, В - это условие, в зависимости от истинности (Т) или ложности (F) которого управление передаётся по одной из двух ветвей. Можно доказать, что для составления любого алгоритма достаточно представленных выше четырех блок-схем, если пользоваться их последовательностями и/или суперпозициями.
Блок-схема «альтернатива» может иметь и сокращенную форму, в которой отсутствует ветвь S2. Развитием блок-схемы типа альтернатива является блок-схема «выбор».
Развитие структуры типа «альтернатива»;
а) - неполная развилка; б) - структура «выбор»
Мы завершили рассмотрение основных структурных элементов алгоритмов: следования, развилки и цикла (повторения), являющихся базовыми элементами. Еще в 1966 году К. Бойм и Д. Якопини доказали, что алгоритм решения любой логической задачи можно составить из этих трех структур. С их помощью можно представлять любые линейные, разветвляющиеся и циклические алгоритмические процессы
Достарыңызбен бөлісу: |