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