{ }是否非上下文无关?


30

语言{ }是否与上下文无关?aibjck | ij,ik,jk

我意识到我遇到了这个问题的几乎所有变体,但关于i,j和k之间的关系存在不同的条件,但没有这个。

我的猜测是它不是上下文无关的,但是您有证据吗?


11
@Sariel:我希望这不是作业问题,因为我不知道如何解决。
伊藤刚(Tsuyoshi Ito)2010年

3
它看起来像是一个作业问题,因为我提到的其他一些变体很容易成为作业问题。但是,此变体不是作业问题。但是,如果有人可以给我链接到已将这个特殊问题分配为作业的任何课程站点,我将感到很高兴。
Cem说

2
您能解释为什么标准技术不起作用吗?
沃伦·舒迪

3
@Tsuyoshi ...是的。你是对的。它比看起来更难。
Sariel Har-Peled

3
奇怪的是,这种语言(以及Ogden引理的使用)可以在经典版本的Hopcroft和Ullman的“自动机理论,语言和计算简介”的示例6.3(第130页)中找到。
Dominik D. Freydenberger 2011年

Answers:


28

奥格登的引理应该起作用:

对于给定的选择a i b p c k并标记所有b(没有其他)。paibpckb

ķ被选择为使得对于多少每一个选择 b “s的实际泵送有一个泵送指数,使得数量 b ” s是等于和一个其中它等于 ķikbbik

ķ必须从该组1 ñ p { p - ñ + * Ñ | Ñ 0 }ik1np{pn+mnmN0}

我很确定,但是懒得正式证明这个集合是无限的。


5
假设IN_0表示非负整数的集合,则上述集合是无限的,因为它包含i = 0、1、2,...的p + im,其中m是{1,...,p}的最小公倍数。
伊藤刚(Tsuyoshi Ito)2010年

11
那些不了解奥格登引理的人(像我一样)可能会发现维基百科很有帮助。
伊藤刚(Tsuyoshi Ito)2010年

2
@Tsuyoshi:是的,你是对的。昨天晚上我没有看到这种简单的表示形式。
Frank Weinberg


在cs.se的此答案中也提供了类似的证明。
张显之张显之

-4

如果三个限制之间的关系为“ OR”,则语言为CFL。该解决方案利用了事实,即节能灯在工会之下被关闭。显然,以下是紧凑型荧光灯: 大号2 = { 一个b Ĵ Ç ķ | ķ Ĵ 0 }大号3 = { a i bL1={aibjckij, k0}L2={aibjckik, j0} (如果不确信的是,看看在大号为CFL和正则语言的级联例如,。大号1 { 一个b Ĵ | Ĵ }级联到 { c } L3={aibjckjk, i0}LiL1{aibjij}{c}

所需的语言是上述的结合。因此,它是CFL。L=L1L2L3


5
错了 例如,,并因此在大号,但一个一个b Ç ç { 一个b Ĵ Ç ķ | i j i k j k }aabccL1Laabcc{aibjck | ij,ik,jk}
戴夫·克拉克

4
您假设»这三个限制之间的关系是“ OR”«,但这不是预期的含义。所有限制都必须保留(请参阅Dave Clarke的反例),然后该语言不是上下文无关的(请参见上面的答案)。
DaniCL 2011年
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.