added test for driving use of Automaton class