front end spec parsing done, automaton parsing now complete using spec object. fixes #8