根据文法求对应的语言

2023-12-30 08:12:03
开发
35

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

例题：

文法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 本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：https://www.suanlizi.com/kf/1740888439303311360.html 如若内容造成侵权/违法违规/事实不符，请联系《酸梨子》网邮箱：1419361763@qq.com进行投诉反馈，一经查实，立即删除！

阅读全部