DFATable seems to work on the GiantNFA, which means now it's time for the TableWalker!