DFA transition table