fixed small issues in Automaton base class