已知文法 A→aAd|aAb|ε 是否是 SLR(1) 文法?
该文法不是 SLR(1) 文法。
分析原因:
首先构造该文法的 LR(0) 项集族:
$I_0: A' → ·A
A → ·aAd
A → ·aAb
A → ·ε$
$I_1: A' → A·
A → a·Ad
A → a·Ab$
$I_2: A → aA·d
$I_3: A → aA·b
$I_4: A → aAd·
$I_5: A → aAb·
可以看到,$I_0$ 中有两个规约项 A → ·ε 和 A → ·aAb,它们的后继符号集合存在交集,即 {d, b}。因此,该文法不是 SLR(1) 文法。
由于该文法不是 SLR(1) 文法,无法构造 SLR(1) 分析表。
原文地址: https://www.cveoy.top/t/topic/na6f 著作权归作者所有。请勿转载和采集!