adding specific automaton classes