Permutations of context-free and indexed languages
我们认为循环封闭的语言，其推广到运营商$C^k$介绍Brandstädt。我们证明了循环闭包的索引语言，如果$L$是一个上下文无关的语言，然后$C^k(L)$索引。
2015-01-04 cs.FL
Linear Context-Free Tree Languages and Inverse Homomorphisms
证明了线性上下文无关树语言类在逆线性树同态下不是闭的。证据是矛盾的：我们将Dyck词编码成一种上下文无关树语言，并证明了它在一定线性树同态下的原像不能由任何上下文无关树文法生成。仍然可以得到一个肯定的结果：线性一元上下文无关树语言在逆线性树同态下是封闭的。
2015-10-19 cs.FL
A Proof of the Pumping Lemma for Context-Free Languages Through Pushdown Automata
上下文无关语言的泵引理是关于下推自动机的一个结果，它与著名的正则语言的泵引理惊人地相似。然而，虽然正则语言的引理是简单地证明使用鸽子洞原则的确定性自动机，下推自动机的引理是通过一个等价的上下文无关语言和通过更强大的奥格登引理证明。本文给出了上下文无关语言的泵引理的一个证明，它依赖于下推自动机而不是上下文无关文法。
2013-07-07 cs.FL
Regularity of languages generated by non context-free grammars over a singleton terminal alphabet
众所周知：（i）单例终端字母表上的所有上下文无关语言都是正则的;（ii）满足Pumping引理的语言类是上下文无关语言的真超类。我们表明，在这个超类中的任何语言在单例终端字母表是经常的。我们的证明是基于一个转换的方法，并不依赖于Parikh定理。我们的结果扩展了以前已知的结果，因为有语言，不是上下文无关的，满足泵引理，不满足假设的Parikh定理。
2018-07-12 cs.FL
Monoid automata for displacement context-free languages
2007年，Kambites提出了Chomsky-Sch的代数解释上下文无关语言的utzenberger定理我们给出了相应的定理的一类位移上下文无关语言，这是等价于良好的嵌套多重上下文无关语言的解释。我们还获得了k-位移上下文无关语言的monoid自动机方面的一个特征，并展示了这样的自动机可以模拟两个堆栈。我们介绍了同时两栈自动机，并比较其定义的不同变体。所有的定义被认为是等价的基础上的几何解释这些自动机的内存操作。
2014-03-24 cs.FL
Anti-Context-Free languages
本文通过简单依存树的投影线性化提出反上下文无关语言，证明其与上下文无关语言对偶，并关联交叉序列依存现象，揭示一种可能的语言学对偶性。
2024-01-15 cs.FL
The hardest language for grammars with context operators
1973年，Greibach（“The hardest context-free language”，SIAM J. Comp.，1973）构造了一种上下文无关语言$L_0$，它具有这样的性质，即每一种上下文无关语言都可以通过同态约化为$L_0$，从而将其表示为逆同态像$h^{-1}(L_0)$。在本文中，一个类似的特征是建立了一个家庭的文法配备了运营商，指的是左上下文的任何子串，最近定义的Barash和Okhotin（“一个扩展的上下文无关文法与单边上下文规范”，通知。计算：2014年）。论证的一个重要步骤是为具有上下文运算符的文法建立一个新的范式，其中每个非终结符在偶数长度的左上下文中只定义奇数长度的字符串：奇偶范式。的特征是完成显示，语法与上下文操作符定义的语言家族是封闭的逆同态下，实际上，它是封闭的内射非确定性有限转换。
2021-11-19 cs.FL
A Complete Refinement Procedure for Regular Separability of Context-Free Languages
通常，当分析建模为上下文无关语言的系统的行为时，我们希望知道两种语言是否重叠。为此，我们提出了一个有效的半决策程序的上下文无关语言的定期可分性，反例指导抽象细化的基础上。我们提出了两种改进方法，一种是廉价但不完整的，另一种是完整但更昂贵的。我们提供了一个实验评估这个过程，并证明了它的实用性的范围内的验证和语言理论的实例。
2014-11-19 cs.FL
A Chomsky-Schützenberger representation for weighted multiple context-free languages
本文证明了完备交换强双紧空间上多重上下文无关语言的Chomsky-Schützenberger表示定理。
2016-11-28 cs.FL
Regular realizability problems and context-free languages
我们研究正则可实现性（RR）问题，这是验证一个正则语言-问题的输入-和固定的语言称为过滤器的交集是否为非空的问题。在本文中，我们专注于上下文无关过滤器的情况。RR问题的数学复杂度是上下文无关语言复杂度的一个非常粗略的度量。这一特征与理性支配是相容的。我们提出的例子，P-完全RR问题，以及RR问题的例子，在类NL。此外，我们讨论RR问题与上下文无关的过滤器，可能有中等的复杂性。可能的候选者是具有多项式有界有理指数的语言。
2015-04-22 cs.FL
Permutations of context-free, ET0L and indexed languages
对于一个语言$L$，我们认为它的循环闭包，更一般的语言$C^k(L)$，其中包括所有的字通过分区字从$L$到$k$因素和置换它们。我们证明了ET0L和EDT0L语言的类在算子$C^k$下是封闭的。这两个锐化和推广Brandstädt的结果，如果$L$是上下文无关的，那么$C^k(L)$是上下文敏感的，而不是上下文无关的一般$k\geq 3$。我们还表明，循环封闭的索引语言的索引。
2016-05-27 cs.FL
An automata characterisation for multiple context-free languages
我们引入树栈自动机作为一类新的存储自动机，并确定了一个限制形式的树栈自动机，准确地识别多种上下文无关的语言。
2016-09-23 cs.FL
Quantum finite automata and linear context-free languages: a decidable problem
本文研究一次测量有限量子自动机识别的语言与线性上下文无关语言的交集判定问题，证明该问题递归可判定，拓展了Blondel等人的相关结果。
2013-03-12 cs.FL
Computing the longest common prefix of a context-free language in polynomial time
我们提出了两个结构的结果，关于最长的共同前缀的非空语言。首先，我们表明，最长的共同前缀的语言所产生的上下文上下文无关文法的大小$N$等于最长的共同前缀的相同的语法的高度的推导树是有界的$4N$。其次，我们证明了每个非空语言$L$有一个代表性的子集，最多三个元素的行为像$L$ w.r. t。最长的公共前缀以及w.r. t。在与任意其他语言的联合或连接之后，$L$的最长公共前缀。由此，我们得出结论，上下文无关语言的最长公共前缀，从而最长公共后缀，可以在多项式时间内计算。
2018-01-06 cs.FL
The Chomsky-Schützenberger Theorem for Quantitative Context-Free Languages
加权自动机对系统的定量方面进行建模，例如执行过程中的资源消耗。传统上，权重被假设为形成半环的代数结构，但最近也考虑了其他权重计算，如平均。在这里，我们在包含所有半环、平均计算、格等的非常一般的权重结构上研究定量上下文无关语言。在我们的主要结果中，我们导出了这类定量上下文无关语言的基本乔姆斯基-许岑贝格定理，表明每一种语言都是在适当的态射下作为戴克语言和正则语言的图像出现的。此外，我们还证明了定量上下文无关语言在表达上等价于一个加权下推自动机模型。这推广了以前只知道半环的结果。我们还调查时，定量上下文无关的语言假设只有100多个值。
2016-03-03 cs.FL
Partial Derivatives for Context-Free Languages: From $μ$-Regular Expressions to Pushdown Automata
我们将Antimirov的偏导数从正则表达式扩展到$μ$ -描述上下文无关语言的正则表达式。我们证明了偏导数的正确性以及迭代偏导数集合的有限性。后者被用来作为下推符号在我们的建设一个不确定的下推自动机，这推广了Antimirov的NFA建设。
2017-01-02 cs.FL
Marciani Normal Form of context-free grammars
本文证明了上下文无关文法是否生成正则语言问题的半判定性。我们在Marciani范式中引入了上下文无关文法的概念。我们证明了Marciani范式中的上下文无关文法总是生成正则语言。
2016-11-07 cs.FL
Dyck-based characterizations of Indexed Languages
索引语言是上下文无关语言的推广，并形成上下文敏感语言的真子集。我们建议推广到索引语言的上下文无关语言的几个著名的特征：即，由Nivat，Chomsky-Schützenberger定理定义的合理转换的特征，和Lautemann等人证明的逻辑特征。
2015-11-10 cs.FL
Idefix-Free Languages and Their Application in External Contextual Grammars
Pädagogische Hochschule Heidelberg（海德堡师范大学）；Institut für Mathematik und Informatik, Pädagogische Hochschule Heidelberg（海德堡师范大学数学与计算机科学研究所）；Universität Giessen（吉森大学）；Institut für Informatik, Universität Giessen（吉森大学计算机科学研究所）
本文研究从正则语言子族中选择语言的外部上下文语法的能力，引入并比较了infix-free、prefix-free和suffix-free（统称idefix-free）语言与其他子正则语言族，扩展了现有层次结构。
2026-06-26 cs.FL
Context-free ordinals
我们认为上下文无关的语言配备了字典序。我们表明，当上下文无关语言的字典序是分散的，那么它的Hausdorff秩小于$ω^ω$。作为这个结果的推论，我们得到一个序数是良序上下文无关语言的序类型当且仅当它小于$ω^{ω^ω}$。
2011-03-28 cs.FL
Scattered context-free linear orderings
我们表明，它是决定在指数时间是否上下文无关的语言的字典顺序是分散的，或良好的秩序。
2011-02-23 cs.FL
The non-abelian squares are not context-free
最近的问题Crochemore，我们证明了语言的话，不是阿贝尔广场是不是上下文无关的。
2011-10-18 cs.FL
Pumping lemma and Ogden lemma for displacement context-free grammars
泵引理和奥格登引理提供了一个强有力的方法来证明一个特定的语言不是上下文无关的。在2008年，金泽证明了一个类似于抽水引理的嵌套多上下文自由语言。然而，引理的陈述对于实际应用来说太弱了。我们证明了一个更强的变种泵引理和类似的奥格登引理这个语言的家庭。我们还使用这些语句来证明，一些自然的上下文敏感的语言不能生成的树邻接文法。
2014-06-30 cs.FL
Partially-commutative context-free languages
本文是关于一类扩展上下文无关语言（CFL）的语言，并且在shuffle下是稳定的。具体来说，我们调查类的部分交换上下文无关语言（PCCFL），其中非终端符号是可交换的，根据一个二元独立关系，非常像在迹理论。该类最近已被提出作为一个强大的类，包括CFL和交换CFL。本文综述了PCCFL的性能。我们确定了一个自然对应的自动机模型：无状态多下推自动机。我们证明了自然操作下的类的稳定性，包括同态图像和洗牌。最后，我们与PCCFL的表现力其他两个相关的类：CFL扩展洗牌和跟踪关闭的CFL。其中的技术贡献的文件是泵引理，作为一个优雅的完成已知的泵性能的正则语言，CFL和交换CFL。
2012-08-14 cs.FL
Formalization of simplification for context-free grammars
上下文无关文法化简是计算机语言处理技术和形式语言理论中的一个重要课题。本文提出了一种形式化，使用Coq证明助手，一般的上下文无关文法生成的语言，也可以产生的简单和等价的上下文无关文法的事实。在保留原文法生成的语言方面，描述了无用符号消除、不可达符号消除、单位规则消除和空规则消除操作，并证明了这些操作的正确性。
2015-10-16 cs.FL
Detecting patterns in finite regular and context-free languages
我们考虑以下问题的变化：给定一个NFA M和一个模式p，在L（M）中是否存在一个x，使得p与x匹配？我们考虑M只接受有限语言的限制性问题。我们还考虑了模式p只需要匹配因子x的变化。我们证明了这两个问题都是NP完全的。我们也考虑上下文无关文法的相同问题;在这种情况下，问题变成PSPACE完备的。
2009-06-17 cs.FL
Context-Free Fixed Points and Complete Classification of Orbits in Picard Iteration for Guarded Power Language Operators
Paisii Hilendarski University of Plovdiv（保加利亚普罗夫迪夫帕伊西·希伦达斯基大学）
本文研究受保护幂语言算子的不动点与Picard迭代，证明上下文无关种子语言唯一确定不动点并给出文法构造，且在特例中实现初始语言恢复与轨道分类。
2026-09-17 cs.FL
A Solution to Yamakami's Problem on Advised Context-free Languages
Yamakami [2011，Theoret. Sci.]研究具有建议功能的上下文无关语言。这里，建议的长度被假定为与输入的长度相同。让CFL和CFL/n分别表示所有上下文无关语言和具有通知功能的语言的类。我们让CFL（2）表示两个上下文无关语言的交集类。一个有趣的研究方向是问CFL（2）相对于CFL有多复杂。Yamakami提出了CFL（2）- CFL/n中是否存在CFL免疫集的问题。到目前为止最著名的是LSPACE-CFL/n有一个CFL免疫集，其中LSPACE表示在语义空间中识别的语言类。我们对他的问题提出了一个肯定的解决办法。我们证明的两个关键概念是嵌套回文和Yamakami交换引理。交换引理适用于泵浦引理（Bar-Hillel引理）不起作用的情况。我们的证明是一个例子，显示如何有用的交换引理。
2015-02-02 cs.FL
The order type of scattered context-free orderings of rank one is computable
如果线性排序是某些上下文无关语言的字典排序，则称为上下文无关;如果线性排序没有稠密的子排序，则称为分散的。每一个离散排序都有一个相关的序数，称为它的秩。已知离散上下文无关序的同构问题是不可判定的，如果其中一个序的秩至少为2。本文证明了上下文无关序的秩最多为1是可判定的，如果是，则其序类型是有效可计算的。
2019-07-26 cs.FL
Context-Free Languages of String Diagrams
该研究定义幺半范畴中字符串图的上下文无关语言，统一词、树和超图的经典情形，并借助轮廓拼接伴随证明其可由正则语言经幺半函子表示。
2024-04-16 cs.FL math.CT
An undecidable property of context-free languages
我们证明，不存在算法来决定是否由上下文无关文法生成的语言是稠密的词典排序。作为这一结果的推论，我们表明，它是不可判定的两个上下文无关文法所产生的语言的词典序是否有相同的顺序类型。
2010-04-10 cs.DM cs.FL
Semi-Linearity and Generalized Stratified Semi-Linearity beyond Context-Free Languages
Faculty of Engineering, University of Fukui（福井大学工学部）
本研究将半线性性质扩展至超越上下文无关语言的k可存储语言，通过推广分层半线性性完成对k可存储语言的刻画，验证了这类语言是上下文无关语言的自然推广。
2026-10-14 cs.CC cs.FL
Infinitary Axiomatization of the Equational Theory of Context-Free Languages
我们给出了上下文无关语言的方程理论的一个自然的完全无穷公理化，回答了Leiquet（1992）的一个问题。
2013-09-04 cs.FL cs.LO
A substitution lemma for multiple context-free languages
Newcastle University（纽卡斯尔大学）；University of Technology Sydney（悉尼科技大学）；Western Sydney University（西悉尼大学）
本文提出了多重上下文无关语言的一个必要条件——替换引理，并应用它证明包括群$F_2\times F_2$的字问题在内的一系列语言不是多重上下文无关的，同时表明具有多重上下文无关字问题的群的可判定有理子集成员问题。
2026-07-15 cs.FL math.GR
Immunity and Pseudorandomness of Context-Free Languages
我们讨论了上下文无关语言的计算复杂性，集中在两个著名的结构特性-免疫性和伪随机性。无限语言是REG免疫的（分别是，CFL免疫），如果它不包含是正则的无限子集（分别为，上下文无关）语言。我们证明了（i）在REG/n之外存在一个上下文无关的REG-免疫语言;（ii）存在一个REG-双免疫语言，它可以用对数空间确定性地计算.我们还表明，（iii）有一个CFL简单的集合，其中CFL简单的语言是一个无限的上下文无关的语言，其补充是CFL免疫。类似于REG免疫，REG素免疫语言没有多项式稠密的子集也是正则的。我们进一步证明了（iv）存在REG/n-bi-primeimmune的上下文无关语言。关于上下文无关语言的伪随机性，我们证明了（v）CFL包含REG/n-伪随机语言。最后证明了：（vi）在REG/n下，存在一个几乎1-1伪随机发生器，它可在配有只写输出带的非确定下推自动机中计算;（vii）在REG下，不存在几乎1-1弱伪随机发生器，它可在线性时间内由单带图灵机确定计算.
2011-07-20 cs.CC cs.FL
Comparing consecutive letter counts in multiple context-free languages
上下文无关文法不能对自然语言中的跨序列依赖进行建模。为了克服这个问题，Seki等人引入了一种称为$m$ -多上下文无关文法（$m$ -MCFG）的推广，它处理字符串的$m$ -元组。我们表明，$m$能够比较最多$2m$不同字母的连续出现次数。特别地，语言$\{a_1^{n_1} a_2^{n_2} \dots a_{k}^{n_{2m+1}} \mid n_1 \geq n_2 \geq \dots \geq n_{2m+1} \geq 0\}$是$(m+1)$ -多上下文无关，但不是$m$ -多上下文无关。
2021-03-16 cs.FL math.CO
The Word Problem of $\mathbb{Z}^n$ Is a Multiple Context-Free Language
群$G = \langle Σ\rangle$的\emph{word problem}可以定义为$Σ^*$中表示$G$中的身份的形式词的集合。当被视为形式语言时，这给出了群的类和形式语言的类之间的强联系。例如，Anisimov证明了一个群是有限的当且仅当它的单词问题是一种正则语言，Muller和Schupp证明了一个群是虚拟自由的当且仅当它的单词问题是一种上下文无关语言。除此之外，我们所知不多，直到Salvati最近证明了$\mathbb{Z}^2$的单词问题是一种多上下文无关语言，并给出了第一个这样的例子。我们推广了Salvati的结果，证明了$\mathbb{Z}^n$的词问题对于任何$n$都是一个多上下文无关语言.
2017-09-01 cs.FL math.GR
On context-free languages of scattered words
众所周知，如果一个Büchi上下文无关语言（BCFL）由分散的单词组成，则存在一个整数$n$，仅取决于语言，使得语言中每个单词的Hausdorff秩由$n$限定。每一个BCFL都是一个Müller上下文无关语言（MCFL）。在本文的第一部分中，我们证明了一个MCFL的分散的话是一个BCFL当且仅当语言中的每个字的秩是有界的一个整数只取决于语言。然后，我们建立了有序和分散的词的BCFL的操作特征。我们证明了一种语言是一个BCFL组成的有序的话当且仅当它可以产生从单例语言包含字母表的字母替换成普通的上下文无关的语言和$ω$ -电源操作。我们还建立了一个相应的结果为BCFLs的分散的话，并定义表达式表示BCFLs的有序和分散的话。在文章的最后，我们给出了一些应用。
2011-11-15 cs.DM cs.FL
The Dissecting Power of Regular Languages
近年来对正则语言和上下文无关语言的结构性质的研究极大地促进了我们对这些语言复杂行为的基本认识。我们继续研究如何正则语言的行为时，他们需要削减许多无限的语言。一个特殊的兴趣在于这样一种情况，即正则语言需要将给定的无限语言“解剖”成两个无限大小的子集。每一种上下文无关语言都被精心挑选的正则语言分解（或者说它是REG可分解的）。在一个更大的图片，我们表明，不断增长的语言和半线性语言是REG解剖。在一定的自然条件下，半线性语言的补语和有限交也成为REG-可剖分的。受限于有界语言，许多上下文无关语言的交集，更令人惊讶的是，有界上下文无关语言上的整个布尔层次结构都是REG-可分割的。作为一个直接的应用程序的REG-dissectability，我们展示了另一个结构的属性，其中一个适当的有界上下文无关的语言可以“分离与无限的利润”两个给定的嵌套无限有界上下文无关的语言。
2012-12-12 cs.CC cs.FL
Free inverse monoids are co-context-free
University of Manchester（曼彻斯特大学）；Korea Institute for Advanced Study (KIAS)（韩国高等科学研究院）
本文利用文法证明了任意有限秩的自由逆幺半群的字问题属于上下文无关补语言，即其补字问题是上下文无关的。
2025-11-01 cs.FL math.GR
Kunz languages for numerical semigroups are context sensitive
CMUP–Centro de Matemática da Universidade do Porto Departamento de Matemática, Faculdade de Ciências Universidade do Porto（波尔图大学数学中心）
研究揭示数值半群深度与Kunz语言的对应关系，证明深度大于2的Kunz语言为上下文敏感而非正则语言。
2025-02-07 cs.FL math.AC
Word Problem Languages for Free Inverse Monoids
本文从语言理论的角度考虑有限秩自由逆幺半群的字问题。证明了自由逆幺半群不存在上下文无关的字问题，秩为$1$的自由逆幺半群的字问题是$2$上下文无关的（两个上下文无关语言的交集）和ET 0 L的关系，秩为$1$的自由逆幺半群的余字问题是上下文无关的;并且秩大于$1$的自由逆幺半群的字问题不是多上下文无关的。
2018-03-21 cs.FL math.GR
On the context-freeness of the set of words containing overlaps
我们表明，一组包含重叠的二进制字是不明确的上下文无关，一组包含重叠的三进制字是不上下文无关。我们还表明，一组二进制的话，不是子词的Thue-Morse字是不明确的上下文无关。
2006-10-02 cs.FL math.CO
Context-Free Language Theory Formalization
证明助手是基于软件的工具，用于数学和计算机科学中证明构造和验证的机械化，也用于认证程序开发。为了加速和简化证据核查，正在越来越多地使用各种工具。上下文无关语言理论是一个成熟的数学领域，与计算机科学基础和技术相关。该提案旨在形式化Coq证明助手中的部分上下文无关语言理论。本报告介绍了证明助手的基本理论和一般特征，包括Coq本身，讨论了它在相关形式化项目中的使用，介绍了目前的实施情况，讨论了相关项目和这项工作的贡献。到目前为止，所获得的结果包括形式化的封闭属性的上下文无关文法（union，concatenation和closure）和形式化的语法简化。语法简化是计算机语言处理技术和形式语言理论中的一个重要课题，形式化是指一般的上下文无关文法生成的语言也可以由更简单等价的上下文无关文法生成。在保留原文法生成的语言方面，描述了无用符号消除、不可达符号消除、单位规则消除和空规则消除操作，并证明了这些操作的正确性。
2015-05-01 cs.FL cs.LO
Directed Regular and Context-Free Languages
Max Planck Institute for Software Systems (MPI-SWS)（马克斯·普朗克软件系统研究所）
本文研究语言有向性判定问题，证明以 NFA 表示的正则语言属于 $AC^1$ 且固定字母表时 NL 完全，上下文无关语言则为 PSPACE 完全。
2024-01-18 cs.CL cs.FL
Random Graph Generation in Context-Free Graph Languages
本文将Mairson的上下文无关字符串文法生成算法适配到超边替换文法，提出一种在无歧义条件下以均匀随机方式、二次方时间生成随机超图的方法，并用生成项图的示例加以验证。
2024-10-01 cs.FL cs.LO
Permutation closure for multiple context-free languages
Newcastle University（纽卡斯尔大学）；University of Technology Sydney（悉尼科技大学）；Western Sydney University（西悉尼大学）
本文证明多重上下文无关语言的置换闭包仍为多重上下文无关，扩展了循环移位闭包结果，并采用受限树栈自动机进行证明。
2025-09-26 cs.FL math.GR
On the work of dynamic constant-time parallel algorithms for regular tree languages and context-free languages
本研究针对现有正则树语言和上下文无关语言动态常数时间并行算法工作量高的问题，提出改进算法，将正则树语言工作量上界降至$O(n^ε)$，并给出两类受限上下文无关语言的更优工作量上界。
2023-07-19 cs.DS cs.FL
Context-free Algorithms
具有上下文无关推导的语法/转换器上的算法：超图可达性，最短路径，以及对任何近最短路径未使用的“相对无用”弧的内外修剪。
2015-02-09 cs.DS cs.FL
On A. V. Anisimov's problem for finding a polynomial algorithm checking inclusion of context-free languages in group languages
Trakia University（特拉基亚大学）
本文提出了一种基于有限有向图和特殊单调的半环，用于检查上下文无关语言是否包含于群语言的多项式算法。
2026-02-20 cs.FL math.CO
Logic for Unambiguous Context-Free Languages
本文从描述复杂性的角度，给出了无歧义上下文无关语言的一个逻辑刻画。Lautemann、Schwentick和Thérien [18]基于隐式可定义性给出的表征上下文自由语言的逻辑片段用于此目的。我们获得了一个新的连接之间的两个不可判定的问题，一个逻辑和语言理论之一。
2016-04-13 cs.CC cs.DM cs.FL
Swapping Lemmas for Regular and Context-Free Languages
School of Computer Science and Engineering, University of Aizu（会津大学计算机科学与工程学院）
在形式语言理论中，最基本的工具之一，被称为泵引理，对于正则语言和上下文无关语言非常有用。然而，有一些自然的性质，泵引理是没有什么用处的。其中一个例子涉及建议的概念，它只取决于底层输入的大小。一个标准的抽水引理在证明一个给定的语言在存在建议的情况下是不规则的方面遇到了困难。我们开发了它的替代，称为交换引理的正则语言，以证明非正规的目标语言的建议。对于上下文无关的语言，我们也提出了一个类似的交换引理的形式，这是一个技术工具，以表明某些语言是不上下文无关的建议。
2009-03-05 cs.CC cs.CL cs.FL
Groups with poly-context-free word problem
我们考虑一类群体的字问题是多上下文无关的，也就是说，一个交叉的许多上下文无关的语言。我们证明了任何群，它实际上是一个自由群的直积的一个可生成的子群有poly-context-free字问题，并猜想，反过来也成立。我们证明了我们的猜想几类可溶性群体，包括亚阿贝尔群和扭自由可溶性群体，目前的进展解决一般可溶性群体的猜想。一些用于证明语言不是多上下文无关的技术可能是独立的兴趣。
2011-04-10 cs.FL math.GR
Difficulty Generating Factors for Context-free Language Construction Assignments
本研究探究上下文无关语言构造任务的难度生成因素，提出呈现方式与语言结构两类共四个因素，实验证实三个因素显著影响文法构造表现，下推自动机任务无可靠结论，为自适应学习系统提供基础。
2025-08-03 cs.CY cs.FL
