技巧:最后得到的是终结符组成的闭包
例题:
文法G[S]: S-->AB A-->aAb|ab B-->Bc|,求对应的语言
①S-->(aAb|ab)(Bc|)
②我们可以观察到,无论A-->aAb还是A-->ab,都一定会同时出现ab,但是B-->Bc,会推出终结符c,B-->,则不会推出c,所以c可以取到0,a和b一定会出现。
③最后得到结果:
L(G)={|m>0,n>=0}
再来一个例子:
最后得到的语言:
S能够多步推导出
技巧:最后得到的是终结符组成的闭包
例题:
文法G[S]: S-->AB A-->aAb|ab B-->Bc|,求对应的语言
①S-->(aAb|ab)(Bc|)
②我们可以观察到,无论A-->aAb还是A-->ab,都一定会同时出现ab,但是B-->Bc,会推出终结符c,B-->,则不会推出c,所以c可以取到0,a和b一定会出现。
③最后得到结果:
L(G)={|m>0,n>=0}
再来一个例子:
最后得到的语言:
S能够多步推导出
本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.rhkb.cn/news/226960.html
如若内容造成侵权/违法违规/事实不符,请联系长河编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!