正则表达式有限自动机NFA.pptVIP

例题最右推导(或规范推导)是与规范归约（最左归约）互逆的一个过程，规范归约每次归约的符号串称为句柄。自上而下分析的一般方法是：对于任何一个输入序列，从文法开始符号开始，进行最左推导，反复用产生式右部的文法符号序列替换句型中的非终结符，最终得到一个句子（终结符序列）。用LR方法实现语法分析时，典型的操作有移进、归约、接受和报错。一个文法产生的句子的集合称为该文法产生的语言。递归下降分析法是一种自上而下的语法分析方法。例题在自上而下的语法分析方法中，应对文法实施以下改造：消除左递归以避免分析陷入死循环，提取公共左因子以避免回溯。给定文法A→bA|cc，下面的符号串中，为该文法句子的是A。A.ccB.bcbc C.bccbccD.ccb3.已知文法G:S→A0A→A0|S1|1。与G等价的正规式是C。A.(0|1)*0B.0*|1*0C.1(0|01)*0 D.(10|01)*0例题4.设有文法G：S→aBc|bAB,A→aAb|b,B→b|ε。1计算非终结符S、A、B的FIRST和FOLLOW集合；2构造G的LL(1)分析表;3分析输入序列baabbb（以格局的形式写出具体的分析步骤）。5.设有文法G：S→S(S),S→ε。1构造识别G的活前缀的DFA；2G是LR(0)的吗？请说明理由；3G是SLR(1)的吗？若是构造出它的SLR分析表;若不是请说明理由。4.设有文法G：S→aBc|bAB,A→aAb|b,B→b|ε。1计算非终结符S、A、B的FIRST和FOLLOW集合；2构造G的LL(1)分析表;3分析输入序列baabbb（以格局的形式写出具体的分析步骤）。解：1计算FIRST和FOLLOW： FIRST(B)={b,ε} FIRST(A)={a,b} FIRST(S)={a,b} FOLLOW(B)={c,#} FOLLOW(A)={b,#} FOLLOW(S)={#}2构造预测分析表：abc#SaBcbABAaAbbBbεε栈剩余输入产生式#Sbaabbb#S→bAB#BAbbaabbb##BAaabbb#A→aAb#BbAaaabbb##BbAabbb#A→aAb#BbbAaabbb##BbbAbbb#A→b#Bbbbbbb##Bbbbb##Bbb##B#B→ε##3分析输入序列baabbb例题5.设有文法G：S→S(S),S→ε。1构造识别G的活前缀的DFA；2G是LR(0)的吗？请说明理由；3G是SLR(1)的吗？若是构造出它的SLR分析表;若不是请说明理由。解：1构造识别G的活前缀的DFA： 例题解：1构造识别G的活前缀的DFA： 2G是LR(0)的吗？请说明理由；此文法不是LR(0)文法，因为在I1、I2中有移进/归约冲突（如果仅考虑终结符，应该没有移进/归约冲突）；3G是SLR(1)的吗？若是构造出它的SLR分析表;若不是请说明理由。解：计算FOLLOW(S)={(,),#}，∵{(,),#}∩{S}=Φ∴I1、I2中的移进/归约冲突可通过简单向前看一个符号解决，此文法是SLR(1)文法，它的分析表如下：状态ACTIONGOTO()#S0r2r2r211s2acc2r2r2r233s2s44r1r1r1第4章语法制导翻译生成中间代码要点：1程序的语法和语义，语义信息用文法符号的属性。2什么是语法制导翻译？3为什么生成中间代码？常见中间代码的形式有哪些？4符号表的作用和内容？5声明语句的翻译6可执行语句的翻译第4章语法制导翻译生成中间代码要点：5声明语句的翻译定义与声明：类型定义与变量声明，过程定义与声明变量声明：填写符号表过程声明：左值和右值四种过程调用时参数传递方式名字的作用域：静态作用域原则和最近嵌套原则声明中作用域信息的保存 第4章语法制导翻译生成中间代码要点：6可执行语句的翻译算术表达式和赋值语句的翻译数组元素引用布尔表达