首页
学习
活动
专区
圈层
工具
发布
首页
学习
活动
专区
圈层
工具
社区首页 >问答首页 >证明下面的语言不是上下文无关的

证明下面的语言不是上下文无关的
EN

Stack Overflow用户
提问于 2017-11-24 12:38:30
回答 0查看 523关注 0票数 0

L= {a^i b^j c^k;i和j≠i≠k和j≠k}。

第一种方法:我尝试了两个不同的字符串通过pumping引理来证明它,但没有一个是正确的。第一个w= a^m b^m+1 c^m+2,m是泵浦长度。例如,w= uvxyz中的一种情况是vxy in是一个零件。所以w= a^m-k a^k b^m+1 c^m+2,对于任何i,它必须在L wi = a^m-k a^ik b^m+1 c^m+2中,我不能证明a的个数等于b的个数。

第二种方法:我将L转换为6种不同语言的联合{a^ib^jc^kUa^ib^kc^jUa^jb^ic^kUa^jb^kc^iUa^kb^ic^jUa^kb^jc^i;i

EN

回答

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/47466455

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档