Final automaton, ready for ComplexManager