Computer Engineering & Science >
Weighted Moore MachineCongruences and Minimization
Received date: 2010-03-11
Revised date: 2010-06-19
Online published: 2010-09-02
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.
LI Suni1,LI Tianchao2,LI Yongming1,3 . Weighted Moore MachineCongruences and Minimization[J]. Computer Engineering & Science, 2010 , 32(9) : 165 -168 . DOI: 10.3969/j.issn.1007130X.2010.
/
| 〈 |
|
〉 |