}
//this one tests the choice method
public void testAutomata2() {
Nonterminal any = choice(WALK,STATION,TRANSIT);
NFA nfa = choice(star(WALK), seq(star(any), TRANSIT, star(any))).toNFA();
System.out.print(nfa.toGraphViz());
DFA dfa = new DFA(nfa);
testParse(dfa);
nfa = nfa.reverse().reverse().reverse().reverse();