格值有限状态自动机的半群
격치유한상태자동궤적반군
Semigroup of lattice-valued finite states automata