Homomorphism and quotient automata of lattice-valued finite states automata
Lei Hong-xuan · Computer Engineering and Applications Journal · 2010
The definition of homomorphism and strong homomorphism of lattice-valued finite states automata(LFSA for short)is presented,some properties of homomorphism and strong homomorphism of LFSAs are investigated.On the basis of strong homomorphism of LFSAs,quotient automata and minimal automata of LFSA are obtained,some characters of quotient automata are studied.