以下语言的上下文无关语法

Question

{a^i b^j c^k | i != j j=k}

我能够在#a = #b或#a！= #b的地方写作。但在这里，有两种情况。我尝试编写以下产品，但在这里，＃c不等于#b。

 S-> YC
 Y-> aYb | bB | aA 
 A->aA|e
 B->bB|e
 C->cC|e

帮助

Answer 1

它不是上下文无关的。

简短答案：请考虑使用a^m b^m c^m语言。现在，通过a^m和b^m进行抽水，您会得到类似a^(m+i)b^(m+i)c^m的内容，但是它不是这种语言。

我的意思是抽空：考虑您的uvwxy = a^m b^m c^m，使v=a^k和x=b^k和w类似于{{1} }，例如a^l b^t。因为我们有2k+l+t<n是我们的语言，所以我们必须有uvwxy是我们的语言，而u v^i w x^i y却不是我们的语言。