A new principle of representing functions of microprogram finite-state machine with datapath of transitions as a set of certain algebras is proposed. The principle consists in partition of the set of vectors that form transition and output functions into subsets. Each such subset is interpreted as a partial function from the signature of the corresponding algebra. Refs: 19 titles.
Бабаков Роман Маркович, кандидат техн. наук, доцент Донецкого национального технического университета, Красноармейск,
e-mail: cpld@mail.ru
Баркалов Александр Александрович, доктор техн. наук, профессор, Университет Зеленогурский (Польша),
e-mail: a.barkalov@iie.uz.zgora.pl