上下文敏感语言的抽象引理？

Question

我已经搜索了关于上下文敏感的抽取引理，它似乎只产生无上下文语言的结果。

抽取引理只允许证明语言只是上下文无关？而不是上下文敏感？

知道怎么做？

Answer 1

对于常规，无上下文，树邻接和多上下文的语言，存在泵浦引理。在Johan Behrenfeld的硕士论文中有一个很好的调查：

http://www.flov.gu.se/digitalAssets/1302/1302983_behrenfeldt-johan-alinguists.pdf

对于上下文相关的语言，没有任何抽象引理。实际上，这门课程具有相当大的生成能力，并且包括没有任何类型的语言和＃34;财产，例如{a ^ p | p prime}。

每个抽取引理都声明了一个属于该类语言的属性。它可用于证明该类中的语言不，作为矛盾的证明。它不能用于证明该类中的语言 。

Answer 2

树木邻接语言的“类似抽样引理”方法实际上 在文献中的所有地方都被称为“树木邻接语言的抽象引理”。它可以证明语言不树邻接，因此不温和地对上下文敏感。也许这是你想到的那个？

由Vijay-Shanker在his PhD thesis,中定义，遗憾的是在线无法使用。尽管如此，通过搜索网络很容易找到它的工作原理。许多课程，例如this one from the University of Tübingen,，都可以提供良好的解释。

Answer 3

有两个抽吸引理。常规语言的抽取引理允许证明语言不常规。针对无上下文语言的抽取引理可以证明语言不无上下文，因此不常规。

没有其他泵吸引擎。为了证明语言是上下文敏感的，您可以首先使用Pumping Lemma证明它不是无上下文的。然后，您必须提供实际生成给定语言的上下文敏感语法。