DFA transitions should be const correct