Приведите пример формального исполнителя алгоритма