形式语言与编译-词法分析

概念

全体一种：把某个符号串集合命名为语言LNAME，它的每个元素是一个
类别为LNAME的词法单位。如ID，INT
一符一种：单元素语言的词法单位只有类别，为语言名字，值省略。
只能设计为全体一种的语言：元素可有近无穷个。比如数、标识符等
对于有穷语言的记号设计，两种都可以，取决于效果。

超前搜索

前缀最大化匹配原则能让DFA尽可能读入符号。

当剩余串为空或者DFA不能转移的时候，如果DFA没在接受状态，那么就需要回退到最近一次在接受状态的地方并返回结果。从那以后多读入的字符都要退回给输入流。

接下来如果输入流还有，则从初始状态开始，对剩余串再次运行DFA识别下一记号。