Аннотации:
Алгебра алгоритмов с данными дополнена средствами описания операций ввода-вывода в результате модификации абстрактной модели ЭВМ Глушкова. Возможность описания операций ввода-вывода актуальна для широкого класса систем, интенсивно взаимодействующих с внешними устройствами. Перспективность полученных возможностей показана на примере простейшей системы
управления.