格值可逆自动机的代数性质
격치가역자동궤적대수성질
Algebraic Properties of Lattice-valued Reversible Automata