DFA最小化 编译原理词法分析方面的资料 很有帮助