adds automaton definitions.