Что является результатом формализации решения задачи