Алгоритмы в действии: формальные исполнители