【发布时间】：2013-06-01 18:01:45
【问题描述】：
我的练习有问题：
L = {an bm cp | 1
是否可以为该练习编写语法？
我不明白如何解决它:(请帮助我
【问题讨论】：
-
(1) 不，这是 不是 上下文无关语言，它实际上是上下文敏感语言，(2) 是的，可以为此编写上下文敏感语法。
-
这种语言的语法是什么？
标签： context-free-grammar pumping-lemma
【发布时间】：2013-06-01 18:01:45
【问题描述】：
语言满足上下文无关的抽引引理的条件（对于任何字符串 在该语言中，您可以选择抽出 c 的，结果字符串保持不变 在语言中），但这不足以证明该语言是上下文无关的。
Ogden's lemma 应该可以工作。对于足够长的输入字符串，您可以选择 “显着位置”是所有 a 的，这迫使 a 被抽水，并且 最终，当 a 的数量超过时，字符串将“从语言中抽出” b 或 c 的数量。
【讨论】：
-
你能写出这门语言的语法吗？
-
这听起来太像真正的工作，目的是什么？考虑可被三整除的以 10 为基数的数字的语言。它是一个正则集，因此存在一个可以识别它的正则表达式，但是写下来非常复杂，并且无法让您真正了解该语言的属性。语法有利于理解上下文无关的语言，但是当你达到上下文相关及以上的复杂程度时，就像在这种情况下，你可能最好尝试构建一个合适的自动机，而不是语法。跨度>