Added automaton unit tests