线性和非线性上下文无关语言的泵引理
摘要：用于证明给定语言不属于某些语言类的抽取引理的创建。对于整个类别和一些特殊的上下文无关语言类别已经存在几个已知的抽取引理。在本文中，我们证明了用于特殊线性和上下文无关语言类的新的、有趣的抽取引理。其中一些可以同时用于两个位置抽取正则语言。另一个引理可以用于任意多个位置抽取上下文无关语言。
作者：G''eza Horv''ath, Benedek Nagy
论文ID：1012.0023
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2010-12-02