Что является результатом этапа "формализация" решения задачи на компьютере?

• математическая модель
• словесная информационная модель
• алгоритм
• программа