Алгоритм и его формальное исполнение. Свойства алгоритма и его исполнители