考虑下面文法G(S):S->a |^|(T) T->T,S I S (1)消去左递归,经改写后的文法是否是LL(1)的? (2)对每个非终结符,写出不带回溯的递归子程序 (3)预测分析

watermark,type_d3F5LXplbmhlaQ,shadow_50,text_Q1NETkDlkajlqZXmiqE,size_20,color_FFFFFF,t_70,g_se,x_16

watermark,type_d3F5LXplbmhlaQ,shadow_50,text_Q1NETkDlkajlqZXmiqE,size_20,color_FFFFFF,t_70,g_se,x_16
是LL(1)型文法 

watermark,type_d3F5LXplbmhlaQ,shadow_50,text_Q1NETkDlkajlqZXmiqE,size_20,color_FFFFFF,t_70,g_se,x_16

首先,我们需要构造该文法的所有项集。项集的构造可以使用 LR(0) 项集族算法(LR(0) Canonical Collection Algorithm)。 LR(0) 项集族算法: 1. 从初始项 S' -> .S 加入项集 I0。 2. 重复以下步骤,直到没有新的项集可以加入 1. 对于每个已经存在的项集 Ii 和文法符号 X,求出所有形如 A -> α.Xβ 的项 A -> α.X.β,并对于每个这样的项,加入到一个新的项集中。 2. 对于每个新的项集,计算它的闭包,即对于每个形如 B -> γ 的项 B -> .γ,将所有形如 B -> .γ 的项加入到该项集中。 根据上述算法,我们可以得到该文法的所有项集: I0: S' -> .S S -> .a S -> .^ S -> .(T) I1: S' -> S. I2: T -> .T,S T -> .S I3: T -> T.,S I4: S -> (.T) T -> .T,S T -> .S I5: T -> T,.S I6: S -> a. T -> T,.S I7: S -> ^. T -> T,.S I8: S -> (.T) T -> T,.S T -> T,S. I9: T -> T,S. 接下来,我们需要使用这些项集构造 LR(0) 分析表。 LR(0) 分析表构造算法: 1. 对于每个项集 Ii,对于每个终结符 a,在 ACTION[i, a] 中加入“shift j”,其中 j 为项集 Ij 中包含 a 后继的项集编号。 2. 对于每个项集 Ii,对于每个终结符 A,如果 GOTO(Ii, A) = Ij,则将 GOTO[i, A] 中加入“j”。 3. 对于每个项集 Ii,如果包含项 A -> α.,且 A != S',则将 FOLLOW[A] 中的所有终结符加入到 ACTION[i, a] 中,其中 a 为 FOLLOW[A] 中的一个终结符。 4. 如果项集 Ii 包含项 S' -> S.,则将 $ 加入到 ACTION[i, $] 中。 5. 如果存在冲突,则该文法不是 LR(0) 文法。 根据上述算法,我们可以得到该文法的 LR(0) 分析表: | | a | ^ | ( | ) | $ | S | T | |---|---|---|---|---|---|---|---| | 0 | S3| S2| S4| | | 1 | | | 1 | | | | |acc| | | | 2 | | | | | | | | | 3 | S6| S7| S4| | | | 5 | | 4 | | | | |r2 | | | | 5 | r3| r3| r3| r3| r3| | | | 6 | S6| S7| S4| | | | 8 | | 7 | R2| R2| R2| R2| R2| | | | 8 | | | | S9| | | | | 9 | | | | | r1| | | 其中,S 表示移进,R 表示规约,数字表示对应项集的编号。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值