Basic automaton class