a DFA PRINT STAT
a b | DFA PRINT STAT
a a . DFA PRINT STAT
a * DFA PRINT STAT
DONE
