Математическая модель (а также программа; зависит от того, что понимать под этапом формализации).
В учебнике выделяют такие этапы решения задачи на компьютере:
Исходные данные (результат - словесная информационная модель)Формализация (математическая модель)Алгоритмизация (алгоритм)Программирование (программа)Отладка, тестирование (уточнение модели)Выполнение расчетов (получение результатов)Нормальные люди понимают, что после формализации информация должна быть представлена на формальном языке, таких языком может быть как математический, так и язык программирования.
Исполнитель-объект,который выполняет алгоритм.
Есть 2 типа исполнителей:
Формальные и неформальные
Формальные не вносят никаких изменений в алгоритм.
Неформальные могут вносить изменения в алгоритм.
В роли формального исполнителя чаще всего выступает техническое устройство.
В роли неформального исполнителя чаще всего выступает человек.
За действия формального исполнителя отвечает управляющий им объект.
Неформальный исполнитель сам отвечает за свои действия,но не всегда может выполнять те же команды одинаково.
А формальный исполнитель может всегда одинаково выполнять одну и ту же команду.
Объяснение: