Теория алгоритмов. Основные подходы к формализации алгоритма