定文法G[H]:(H1为非终结符) H-> MH1 H1-> ;MH1|空串 M-> d|aHb,分析d;d#是否为合法的串
时间: 2024-03-15 10:42:54 浏览: 65
LL(1)suanfa.rar_Follow_ Follow_LL(1)文法_LL(1)_计算first
首先,根据该文法,H可以推导出MH1,而H1可以为空串或者以分号和MH1的组合形式推导出来。M是一个字母表中的终结符,可以是d或者aHb的组合。因此,d;d#可以被分解成以下的推导过程:
H -> MH1
H1 -> ;MH1
H -> MH1
H1 -> ε
M -> d
M -> ;
M -> d
M -> #
在上述推导过程中,最后一个推导M -> #是无法进行的,因此d;d#不是该文法G[H]所生成的合法字符串。
阅读全文