Формальные и неформальные подходы к исполнению алгоритмов: что выбрать?