已知文法G[S]: S→aAc A→Bb B→d 若I的项目集={S→.aAc},则GOTO(I,a)=()
时间: 2024-05-23 16:09:10 浏览: 171
根据 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。
阅读全文