70 likes | 230 Views
Finite-State Machines. Transition assigned machine (Mealy). State assigned machine (Moore). (a) State Diagram. (b) State Table. Construction of M s from M t. M t :. M s :. Example of the partitioning procedure. Construction of a reduced machine. (a). (b).
E N D
State assigned machine (Moore) (a) State Diagram (b) State Table
Construction of Ms from Mt Mt : Ms :
Testing two machines for equivalence (a) M1 (b) M2 (c) Sum of M1 and M2 P1 : {A, D}, {B, E, G}, {C, F, H} P2 : {A, D}, {B, E}, {G}, {C, F}, {H} P3 =P2