DFA Compilation