qq_42347617的博客

自底向上分析 将输入符号串w不断归约成文法开始符S 采用：最左归约（反向构造最右推导） 通用框架为：移入-归约分析（Shift-Reduce Parsing） 过程： 输入符号不断移入栈 直到构成某产生式右部 --（出栈） --> 归约成产生式左部（再入栈），同时构造语法树 句柄：每次归约出来的符号串 （当前句型的最右直接短语） LR 文法： L ：Left-scaning, ...

递归下降分析 类似于递归函数： 遍历输入序列： 每遇到终结符VT判断是否匹配成功， 每遇到非终结符VN调用对应的"过程"，递归分析 非递归的预测分析 不需要为每个非终结符VN编写递归下降分析的过程，而是根据预测分析表构造一个自动机PDA（表驱动的预测分析） 下推自动机（Push Down Automata） 相比有穷自动机，增加一个栈（下推存储器），起到记忆的作用 -> 比有穷自动机识别...

S --推导–> 词串β 的过程中，要考虑： 替换哪个VN 用哪个候选式替换 引子： 最左推导（Left-most Derivation）： 每次选择最左非终结符替换 最右规约： 最右推导（Right-most Derivation）： 最左规约 ？？？ 递归下降分析（Recursive Descent Parsing） 回溯（Backtracking）：存在歧义时（匹配到多个产...

引言：正则表达式有两种基本要素——字符表达式和ε表达式，以及三种基本运算——并、连接和闭包 有穷自动机 （FA: Finite Automata） 正则表达式并不能直接用来解析字符串，所以引入有穷自动机这种适合转化为计算机程序的模型 FA的表示: 转换图、转换表 转换图： 结点表示状态，只有一个初始状态，若干终止状态（双圈表示） 边表示条件转移：遇到输入x则转移 最长匹配原则（Lo...

Unit 2：文法分类

文法分类文法的形式化定义文法分类：Chomsky0型文法 (Unrestricted Grammer / Phrase Structure Grammer)1型文法 (Context-Sensitive Grammer)2型文法 (CFG：Context-Free Grammer)3型文法（RG: Regular Grammer）文法关系：分析树 文法的形式化定义 G = (VT, VN, P, ...