Label DFA