Формальное исполнение алгоритма
Формальное исполнение алгоритма — это точное выполнение всех его команд в заданном порядке, без пропусков, самовольных изменений и догадок о результате. Исполнитель действует только по правилам алгоритма и учитывает получающиеся на каждом шаге данные.
Как выполняют алгоритм
Сначала определяют исходные данные и исполнителя — объект или человека, который умеет выполнять команды алгоритма. Затем читают команды по одной. Для каждой команды проверяют, какое действие требуется выполнить, изменяют значения переменных или состояние исполнителя и переходят к следующему шагу. Если встречается условие алгоритма, выбирают ветвь только по его фактическому значению: «истина» или «ложь».
Пусть начальное значение \(x=3\), а команды таковы: 1) увеличить \(x\) на 2; 2) умножить \(x\) на 4; 3) вывести \(x\). Формальное исполнение даёт: после шага 1 \(x=5\), после шага 2 \(x=20\), поэтому результат — 20. Нельзя сразу умножить 3 на 4 или поменять команды местами.
Формальное исполнение — сам процесс точного выполнения алгоритма. Трассировка алгоритма — это запись промежуточных состояний и результатов его выполнения, например таблица со значениями переменных после каждого шага. Трассировка помогает контролировать исполнение, но не заменяет его.
Что важно проверять
- Все ли команды выполнены, включая повторяющиеся шаги цикла?
- Сохранён ли порядок команд?
- Правильно ли выбрана ветвь после проверки условия?
- Не изменены ли исходные данные и значения переменных случайно?
Алгоритм задаёт команды: прибавить к \(a\) число 1, затем умножить результат на 3. При \(a=4\) чему равно значение после формального исполнения?
Главное
- Формальное исполнение означает точное выполнение всех команд алгоритма по порядку.
- При исполнении учитывают фактические значения данных и условия перехода.
- Промежуточные результаты можно фиксировать с помощью трассировки алгоритма.