根据文法求对应的语言

2023-12-30 06:42:28

技巧：最后得到的是终结符组成的闭包

例题：

文法G[S]: S-->AB? ? ? ? A-->aAb|ab? ? ? ? B-->Bc|\varepsilon，求对应的语言

①S-->(aAb|ab)(Bc|\varepsilon)

②我们可以观察到，无论A-->aAb还是A-->ab，都一定会同时出现ab,但是B-->Bc,会推出终结符c，B-->\varepsilon，则不会推出c，所以c可以取到0，a和b一定会出现。

③最后得到结果：

L(G)={a^{m}b^{m}c^{m}|m>0,n>=0}

再来一个例子：

最后得到的语言：

S能够多步推导出?a^{n}b^{n}e^{n}?

文章来源:https://blog.csdn.net/weixin_69884785/article/details/135287637
本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。