progress on Automata, but testMatcher1 and 1b commented out