Add automata definition class