18.6 DFA检查