Теоретико-категорные модели алгебраических вычислительных систем

Вычислительная система называется алгебраической, если она содержит узлы, которые реализуют нетрадиционные парадигмы вычисления, основанные на универсальной алгебре. Предложен категорный подход к моделированию таких систем, образующий теоретическую основу для отображения задач на их архитектуру. Конструирование алгебраических моделей вычислений общего назначения, обладающих условными операторами и контролем переполнения, формально описано рефлектором в подходящей категории алгебр. Доказано, что этот рефлектор переводит кольцо вычетов, операции которого реализуются в традиционных арифметических устройствах, в логическую матрицу Лукасевича. Найдены обогащения множества кольцевых операций, образующие базисы в матрице Лукасевича. Библ. 20.