9. Теорема о структуризации

Теорема Бёма-Якопини - положение структурного программирования, согласно которому любой исполняемый алгоритм может быть преобразован к структурированному виду, то есть такому виду, когда ход его выполнения определяется только при помощи трёх структур управления: последовательной (англ. sequence), ветвлений (англ. selection) и повторов или циклов (англ. repetition, cycle).

а) В последовательной структуре инструкции выполняются в том порядке, как они записаны в программе, т. е. одна за другой.

Например:

Подпрограмма 1 /* последовательное выполнение инструкций 1, 2 ..N…...*/

Инструкция 1;

Инструкция 2;

...

Инструкция N;

Конец Подпрограммы 1.

б) В структуре ветвлений последовательность выполнения инструкций зависит от заданного, чаще всего логической переменной, условия.

Например:

Подпрограмма 2 /* ветвлений – Выбор инструкции согласно условию */

Если условие 1 то Инструкция 1; /* выполняется, если истинно условие 1 */

Если условие 2 то Инструкция 2; /* выполняется, если истинно условие 2 */

...

Иначе Инструкция N; /* выполняется, если не ни одно из условий не является истинным */ .

Конец Подпрограммы 2.

г) В циклах инструкции повторяются до тех пор пока не изменится некое условие, например значение логической переменной.

10. Обращение неструктурированных программ в структурированные

11. Метод дублирования процессов

12. Метод булевского признака (???)

Применяется для структурирования циклического процесса

Вводится некая логическая переменная (boolean типа).

13. Программирование. Общие понятия

14. Основные этапы решения задач на эвм, пример. (???)

а) Постановка задачи (сбор информации о задаче; формулировка условия задачи; определение конечных целей решения задачи; определение формы выдачи результатов; описание данных (их типов, диапазонов величин, структуры и т. п.))

б) Анализ и исследование задачи, модели (анализ существующих аналогов; анализ технических и программных средств; разработка математической модели; разработка структур данных)

в) Разработка алгоритма (выбор метода проектирования алгоритма; выбор формы записи алгоритма (блок-схемы, псевдокод и др.); выбор тестов и метода тестирования; проектирование алгоритма)

г) Программирование (выбор языка программирования; уточнение способов организации данных; запись алгоритма на выбранном языке программирования)

д) Тестирование и отладка (синтаксическая отладка; отладка семантики и логической структуры; тестовые расчеты и анализ результатов тестирования; совершенствование программы)

е) Анализ результатов решения задачи и уточнение в случае необходимости математической модели с повторным выполнением этапов 2-5.

ж) Сопровождение программы (доработка программы для решения конкретных задач; составление документации к решенной задаче, к математической модели, к алгоритму, к программе, к набору тестов, к использованию)