它是无上下文的语言吗？

Question

我的练习有问题：

  

L = {a ⁿ b ^m c ^p | 1＆lt; = n＆lt; = m＆lt; = p}

是否可以为该练习编写语法？

我不明白如何解决它:(请帮帮我

Answer 1

该语言符合无上下文泵浦引理的条件（对于任何字符串 在语言中，您可以选择抽取 c ，并保留结果字符串 在语言中），但这还不足以证明该语言没有上下文。

不过，

Ogden's lemma应该可行。对于足够长的输入字符串，您可以选择 “尊贵的位置”都是 a ，这会强制 a 被抽出，并且 当 a 的数量超过时，最终字符串将“从语言中抽出” b 的数量或 c 的数量。