decomposition of automaton