DFA (Explicit)