词法分析器(lexer) 词法分析器 = 正则表达式 + DFA/NFA 有限状态机 接受输入a,由状态s1转到s2,继续接收内容,直到reject状态 发生状态转换,但是输入指针不变 确定性有限自动机(DFA) 单一输入有确定状态转换 不存在空状态转换 <
语法分析器(Parser) 词法分析器的局限性 有限自动机本质只是计算待处理字符串关于他的状态数的模,只有结果,没有过程计数,不适用于嵌套结构的处理,如(){}等等 语法分析器定义 接收从词法分析器(lexer)1传来的一系列token,生成程序的语法树(展开嵌套结构 ) 上下文无关文法(Conte