A FORMAL SOLUTION OF THE PROBLEM OF ALGEBRAIC SYNTHESIS OF MICROPROGRAM FINITE STATE MACHINE WITH DATAPATH OF TRANSITIONS Journal title: Вчені записки Таврійського національного університету імені В. І. Вернадського. Серія: Технічні науки Authors: Р.М. Бабаков Subject(s):