Added the parsing for an automaton.