Исполнитель алгоритма. Формальное выполнение алгоритма. Понятие программы