УДК 681.324

Алгебраїчна інтерпретація мікропрограмного автомата з операційним автоматом переходів

Запропоновано новий принцип представлення функцій мікропрограмного автомата з операційним автоматом переходів у вигляді множини окремих алгебр. Принцип полягає у розбитті множини кортежів, що утворюють функції переходів і виходів, на підмножини, кожна з яких інтерпретується як часткова функція із сигнатури відповідної алгебри. Бібліогр.: 19 назв.

Ключові слова:

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


ПОВНИЙ ТЕКСТ

Про автора(ів):

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

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