Add automaton definition