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