УДК 681.324

АЛГЕБРАИЧЕСКАЯ ИНТЕРПРЕТАЦИЯ МИКРОПРОГРАММНОГО АВТОМАТА С ОПЕРАЦИОННЫМ АВТОМАТОМ ПЕРЕХОДОВ

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

Ключевые слова:

микропрограммный автомат, операционный автомат переходов, алгебра переходов, частичная функция переходов, изоморфизм.


ПОЛНЫЙ ТЕКСТ

Об авторе(ах):

Бабаков Роман Маркович, кандидат техн. наук, доцент Донецкого национального технического университета, Красноармейск,
e-mail: cpld@mail.ru

Баркалов Александр Александрович, доктор техн. наук, профессор, Университет Зеленогурский (Польша),
e-mail: a.barkalov@iie.uz.zgora.pl