已知文法G[S]: S→aAc A→Bb B→d 若I的项目集={S→.aAc},则GOTO(I,a)=()
时间: 2024-05-23 13:09:10 浏览: 15
根据 LR(0) 项集族的构建原理可知,GOTO(I, a)表示从I集合中的所有项中的“·”后面的符号是a的项的集合。因此,可以先将S→.aAc拆分为两个子项S→a.Ac和A→.Bb,并分别求解它们的闭包:
Closure(S→a.Ac)={S→a.Ac, A→.Bb}
Closure(A→.Bb)={A→.Bb, B→.d}
然后我们需要计算出每个子项再读入a后的GOTO集合,具体地,根据 LR(0) 项集族的转移规则:
GOTO(S→a.Ac, a) = S→aA.c
GOTO(A→.Bb, b) = A→B.b
因此,最终GOTO(I, a)=S→aA.c。
相关问题
已知文法G[S]: S→aH H→aMd | d M→Ab | ε A→aM | e
这是一个已知文法G[S],其中包含四个产生式规则:
1. S→aH:表示S可以推导出aH,其中a是终结符号,H是非终结符号。
2. H→aMd | d:表示H可以推导出aMd或者d,其中a和d是终结符号,M是非终结符号。
3. M→Ab | ε:表示M可以推导出Ab或者空串ε,其中A是非终结符号,b是终结符号。
4. A→aM | e:表示A可以推导出aM或者e,其中a是终结符号,M是非终结符号。
这个文法描述了一种语言的语法规则,其中包含了终结符号和非终结符号的组合方式。根据这个文法,可以生成一些符合规则的字符串。
2. 已知文法G[S]: S→TB T→Ba| B→Db|eT| D→d|
根据提供的文法G[S],以下是对应的推导和短语的示例:
1. 对于句子(a,(a,a))的最左推导:
```
S => TB => BaB => aBaB => a(T)BaB => a(S)BaB => a(a)BaB => a(a,(T))Ba => a(a,(S))BaB => a,(a))BaB => a(a,(a))B => a(a,(a,a))
``2. 对于句型((T,S),a)的短语:
直接短语:((T,S),a)
句柄:(T,S)
相关推荐
![doc](https://img-home.csdnimg.cn/images/20210720083327.png)
![pdf](https://img-home.csdnimg.cn/images/20210720083512.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![rar](https://img-home.csdnimg.cn/images/20210720083606.png)