Определяются формализмы для описания иерархий абстрактных машин с целью последующей виртуализации систем внешнего хранения и обработки данных. Дано понятие об иерархической эволюционирующей алгебраической системе, на основании которого построена конкретная иерархия абстрактных машин, легко реализуемая программно и аппаратно.
иерархия абстрактных машин, система обработки данных, формальная спецификация, сети абстрактных машин