front end automaton parser works!