Weighted Moore Machine Congruences and Minimization

李苏妮,李天朝,李永明
DOI: https://doi.org/10.3969/j.issn.1007-130x.2010.09.042
2010-01-01
Abstract:The congruences and homomorphisms of a weighted Moore machine are defined in this paper. Moreover,a homomorphism theorem is given and the congruence relations form a complete lattice in the weighted Moore machine are proved. Under the congruence relation,the factor Moore machine of the weighted Moore machine is given. The algorithm of finding the minimum state Moore machine is presented.
What problem does this paper attempt to address?