Extract common automaton's state transition function.