Формализация алгоритма
Формализация алгоритма — это перевод словесного описания решения в точную и однозначную последовательность команд, понятных исполнителю. Благодаря формализации решение можно выполнить вручную, записать в программе и проверить на разных исходных данных.
Как выполняют формализацию
Сначала выделяют, что дано в задаче и что требуется получить. Затем описывают последовательность действий простыми точными командами. Если порядок действий зависит от условия, используют ветвление; если одинаковые действия повторяются, задают цикл. Для записи применяют блок-схему, программу или псевдокод.
- Определить входные данные и результат.
- Разбить решение на отдельные элементарные шаги.
- Указать порядок выполнения шагов.
- Записать условия и повторения без двусмысленности.
- Проверить алгоритм на простых и граничных наборах данных.
Словесная задача: найти большее из двух чисел \(a\) и \(b\). Формализованное описание: 1) ввести \(a\) и \(b\); 2) если \(a>b\), вывести \(a\); 3) иначе вывести \(b\). Команда «найти большее» заменена точным сравнением и двумя возможными действиями.
Формализация — это не само выполнение алгоритма и не имитация работы алгоритма. При формализации составляют точное описание действий, а при имитации последовательно выполняют эти действия для конкретных данных.
Какое описание является формализованным?
Формализация особенно важна в задачах на исполнителей: нужно учитывать допустимые команды, начальное состояние и точные правила изменения объектов. После записи алгоритма его проверяют на наборе тестов, включая случаи, где условие выполняется и не выполняется.
Главное
- Формализация переводит решение из словесной формы в точные команды.
- В формализованном алгоритме однозначно заданы входные данные, порядок действий и результат.
- Проверять описание нужно на разных, в том числе граничных, исходных данных.