Keywords: automaton, lattice of subautomata, direct sum decomposition ... authors in [7], we can prove that direct sum congruences on an automaton.
確定! 回上一頁