概念
全体一种:把某个符号串集合命名为语言LNAME,它的每个元素是一个
类别为LNAME的词法单位。如ID,INT
一符一种:单元素语言的词法单位只有类别,为语言名字,值省略。
只能设计为全体一种的语言:元素可有近无穷个。比如数、标识符等
对于有穷语言的记号设计,两种都可以,取决于效果。
超前搜索
前缀最大化匹配原则能让DFA尽可能读入符号。
当剩余串为空或者DFA不能转移的时候,如果DFA没在接受状态,那么就需要回退到最近一次在接受状态的地方并返回结果。从那以后多读入的字符都要退回给输入流。
接下来如果输入流还有,则从初始状态开始,对剩余串再次运行DFA识别下一记号。