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

6. 有C++程序如下所示： #include iostream.h int f(int n) { if (n2) return n; return f(n-1)+f(n-2); } void main(){ int a=4; coutf(a)endl;} (a) 画出程序运行时的活动树； (b) 给出程序的运行结果； (c) 若控制栈从左向右增长（最右边是栈顶），请问(main, f(4), f(1))是不是一个可能的控制栈状态？为什么？ (b) 程序的运行结果为：3 (c) 不是一个可能的控制栈状态，因为f(4)不能直接调用f(1)。从活动树也可以看出，在f(4)所在的任何一条路径上，f(4)和f(1)不相邻。 解： (a) 活动树如下： 结 束 例题 对单词的识别，是依据 词法（构词） 规则进行的，对句子的识别，是依据 语法 规则进行的。 2型文法是 上下文无关文法 ，对应的分析器是 下推 自动机；3型文法是 正规文法 ，对应的分析器是 有限 自动机。 文法的终结符集和 非终结符集 的交集一定为 空 。词法分析器交给语法分析器的文法符号一定是　终结符　，它只能出现在产生式的　右　部。 LL(1)分析法中，第一个L的含义是 自左向右扫描输入 ，第二个L的含义是最左推导 ，1的含义是确定下一个动作向前看1个终结符 。 例题 最右推导(或规范推导) 是与规范归约（最左归约）互逆的一个过程，规范归约每次归约的符号串称为　句柄 。 自上而下分析的一般方法是：对于任何一个输入序列，从 文法开始符号 开始，进行最左推导，反复用产生式 右部的文法符号序列 替换句型中的 非终结符 ，最终得到 一个句子（终结符序列） 。 用LR方法实现语法分析时，典型的操作有 移进 、归约 、接受和报错。 一个文法产生的 句子的集合 称为该文法产生的语言。 递归下降分析法是一种自上而下的语法分析方法。 例题 在自上而下的语法分析方法中，应对文法实施以下改造： 消除左递归 以避免分析陷入死循环，提取公共左因子以避免回溯。 给定文法A→bA|cc，下面的符号串中，为该文法句子的是 A 。 A. cc B. bcbc C. bccbcc D. ccb 3.已知文法G:S→A0 A→A0|S1|1。与G等价的正规式是C 。 A. (0|1)*0 B. 0*|1*0 C.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； 2 G是LR(0)的吗？请说明理由； 3 G是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 构造预测分析表： a b c # S aBc bAB A aAb b B b ε ε 栈 剩余输入 产生式 #S baabbb# S→bAB #BAb baabbb# #BA aabbb# A→aAb #BbAa aabbb# #BbA abbb# A→aAb #BbbAa abbb# #BbbA bbb# A→b #Bbbb bbb# #Bbb bb# #Bb b# #B # B→ε # # 3 分析输入序列baabbb 例题 5. 设有文法G：S→S(S), S→ε。 1 构造识别G的活前缀的DFA； 2 G是LR(0)的吗？请说明理由； 3 G是SLR(1)的吗？ 若是构造出它的SLR分析表;若不是请说明理由。 解：1 构造识别G的活前缀的DFA ： 例题 解：1 构造识别G的活前缀的DFA ： 2 G是LR(0)的吗？请说明理由； 此文法不是LR(0)文法，因为在I1、I2中有移进/归约冲突（如果仅考虑终结符，应该没有移进/归约冲突