В чем важность возможности формального исполнения алгоритма?
Формально значит строго по пунктам не задумываясь