Equivalence of Two Methods of Recognizing Words of Pushdown Lattice-valued Automata
Laifeng Lu · Journal of Xi'an Technological University · 2008
The pushdown lattice-valued automata(PDLA) based on lattice monid is introducecd.Two methods of recognizing words of PDLA according to characteristics are proposed.Furthermore,the equivalence of the two methods is proved using algebraic properties of lattice monoid and theory of automata.