13.3 DFA检查