根据文法求对应的语言

发布时间：2023年12月30日

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

例题：

文法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
本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若内容造成侵权/违法违规/事实不符，请联系我的编程经验分享网邮箱：chenni525@qq.com进行投诉反馈，一经查实，立即删除！