Added a new automaton (still needs a proper name)