On the Relation between Context-Free Grammars and Parsing Expression Grammars
上下文无关文法（CFG）和解析表达式文法（PEG）在语法和语义上有一些相似之处和一些不同之处，但它们通常通过形式主义来表示，这妨碍了适当的比较。在本文中，我们提出了一个新的形式主义的CFGs，突出了它们之间的相似性和差异。新的形式主义借用PEG的使用解析表达式和基于解析的语义。我们展示了如何从这种形式主义中去除非确定性的一种方法产生了PEG语义的形式主义。我们还证明，基于这些新的形式主义，LL（1）文法如何定义相同的语言，无论是解释为CFG或PEG，也显示如何强LL（k），右线性，LL正则文法有简单的语言保持从CFG到PEG的翻译。
2014-02-13 cs.FL
Grammars with two-sided contexts
在最近的一篇论文中（M。Barash，A. Okhotin，“Defining contexts in上下文无关文法“，LATA 2012），作者介绍了上下文无关文法的扩展，其配备有用于引用被定义的子串的左上下文的运算符。本文提出了一个更通用的模型，其中上下文规范可以是双侧的，即左上下文和右上下文都可以由相应的运算符指定。本文给出了这类文法的定义并建立了其基本理论，给出了一个范式和一个时间复杂度为O（n^4）的语法分析算法，其中n是输入字符串的长度。
2014-05-22 cs.FL
Iterative method of generating artificial context-free grammars
语法推理是一个机器学习领域，其基础是围绕学习集建立的。目前，真实数据和手工制作的语法的例子被用来测试他们的学习性能。本文旨在提出一种生成人工上下文无关文法及其最优学习集的方法，该方法可以成功地用作经验语法推理方法的基准工具。
2019-11-13 cs.FL
On the Generative Capacity of Contextual Grammars with Strictly Locally Testable Selection Languages
我们继续研究上下文语法的生成能力，其中上下文是围绕整个词（外部）或围绕子词（内部），属于特殊的规则选择语言。由上下文文法生成的所有语言，其中所有选择语言都是某个次正则语言家族的元素，再次形成语言家族。我们调查上下文文法严格本地可测试的选择语言和比较这些家庭的家庭是基于有限的，monoidal的，幂零的，组合的，明确的，后缀封闭的，有序的，交换的，循环的，不计数的，功率分离，或工会自由的语言。
2022-08-31 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
Normal forms for linear displacement context-free grammars
本文证明了线性位移上下文无关文法的范式的几个结果。结果本身相当简单，使用众所周知的技术，但它们被广泛用于更复杂的结构。因此，本文主要起到教育和参考的作用。
2015-07-30 cs.FL
On the Comparison of Context-Free Grammars
本文从分析的角度考虑上下文无关文法的比较问题。我们表明，该问题可以减少到非线性矩阵方程组的数值解。这里提出的方法形成了面向自动评估学生的答案在计算机科学的概率比较算法的基础。
2018-04-20 cs.FL
Cooperating distributed context-free hexagonal array grammar systems with permitting contexts
在本文中，我们将允许符号与规则的语法在合作的分布式上下文无关的六边形阵列文法系统的组件作为一种控制机制，并调查所产生的系统在终端模式的生成能力。当扩展到连接阵列形式的模式时，将允许符号与规则相关联的这种特征也需要检查符号，但这比通常的模式匹配简单。允许允许符号的好处是，它使我们能够减少在一个合作的分布式六边形阵列语法系统中生成一组图片阵列所需的组件的数量。
2014-04-22 cs.FL
A representation of context-free grammars with the help of finite digraphs
对于任何上下文无关文法，我们建立了一个转换图，即一个有限的有向图与标记弧，它描述了工作的文法。这种方法是新的，它不同于以前已知的图模型。我们定义的概念，适当的步行在这个过渡图，我们证明了一个词属于一个给定的上下文无关的语言，当且仅当这个词可以得到一个适当的步行的帮助。
2013-05-29 cs.FL
Context-Free Commutative Grammars with Integer Counters and Resets
本文研究了上下文无关交换文法扩展的可达性、可覆盖性和包含性的计算复杂性。这些文法也可以看作是无通信Petri网的扩展。我们的主要结果是可达性和可覆盖性是相互可约的，并且都是NP-完全的。特别是，这类交换文法享有半线性可达集。我们还表明，包含问题是，在一般情况下，coNEXP-完全，并已$Π_2^\text{P}$ -完全的语法只有一个非终端符号。显示后一个结果的下界需要我们开发一个新的$Π_2^\text{P}$ -完全的经典子集和问题的变种。
2016-06-24 cs.FL
Formalization of closure properties for context-free grammars
上下文无关语言理论是一个成熟的数学领域，与计算机科学基础和技术相关。本文介绍了一个正在进行的形式化项目，使用上下文无关文法和Coq证明助手的初步结果。到目前为止，所获得的结果包括上下文无关文法的表示，对它们的一些操作（并，连接和关闭）的算法的描述和相关定理的证明（例如，这些算法的正确性）。简要介绍了相关工作，以及进一步发展的计划。
2015-06-10 cs.FL
Pumping lemma and Ogden lemma for displacement context-free grammars
泵引理和奥格登引理提供了一个强有力的方法来证明一个特定的语言不是上下文无关的。在2008年，金泽证明了一个类似于抽水引理的嵌套多上下文自由语言。然而，引理的陈述对于实际应用来说太弱了。我们证明了一个更强的变种泵引理和类似的奥格登引理这个语言的家庭。我们还使用这些语句来证明，一些自然的上下文敏感的语言不能生成的树邻接文法。
2014-06-30 cs.FL
On the complexity of the universality and inclusion problems for unambiguous context-free grammars (technical report)
研究了无二义性有限自动机和上下文无关文法的普适性和包含问题的计算复杂性。我们观察到，几个这样的问题可以减少到明确的上下文无关文法的普遍性问题。后一个问题一直被认为是可判定的，我们提出了一个PSPACE算法，其工作原理是通过减少到卷积递归方程的零问题。我们不知道任何非平凡的复杂性下限。然而，我们表明，计算明确的上下文无关语言的硬币翻转度量（普遍性的定量概括）对于长期存在的开放问题SQRTSUM来说是困难的。
2020-06-11 cs.FL
The Parikh Property for Weighted Context-Free Grammars
Parikh定理指出，当忽略单词中符号的顺序时，每个上下文无关文法（CFG）都等价于某个正则CFG。对于所谓的加权CFG来说，情况并非如此，加权CFG另外为每个语法规则分配权重。如果结果对给定的加权CFG $G$成立，我们说$G$满足Parikh性质。我们建设性地证明了Parikh性质对每个加权非扩张CFG都成立。当权在有理数上时，我们还给出了该性质的判定过程。
2019-06-19 cs.FL
An Entertaining Example of Using the Concepts of Context-Free Grammar and Pushdown Automation
本文提出了一种解决娱乐性任务的形式语言方法。众所周知的任务的河内塔进行了讨论有关的一些概念的离散数学。描述了一种上下文无关文法，它产生一个解决这个任务的算法。一个确定性的下推自动机，在其工作中模仿和尚的工作，解决河内塔的任务是建立。
2012-01-05 cs.FL
Complexity of Problems of Commutative Grammars
我们考虑交换正则和上下文无关文法，或者换句话说，正则和上下文无关语言的Parikh图像。通过使用线性代数和分支模拟的经典欧拉定理，我们表明，在假设终端字母表是固定的，成员资格问题的正规语法（给定v在二进制和一个经常交换语法G，G生成v？）是P，上下文无关文法的等价问题（G_1和G_2生成相同的语言吗？）在$\mathrm{Π_2^P}$中。
2015-03-23 cs.FL
Non-closure under complementation for unambiguous linear grammars
本文证明了无二义性线性语言族（即由无二义性线性上下文无关文法定义的语言）在补集下的非封闭性。更确切地说，提出了一种特殊的无二义性线性文法，并证明了这种语言的补集不是由任何上下文无关文法定义的。这也构成了Hibbard和Ullian（“上下文无关语言中固有模糊性与互补性的独立性”，J.ACM，1966）关于互补下无歧义语言的非封闭性的结果的另一种证明。
2022-10-05 cs.FL
Learning cover context-free grammars from structural data
我们考虑学习一个未知的上下文无关文法的问题时，唯一的知识和兴趣的学习者是关于其结构的描述与深度最多$\ell.$的目标是学习一个覆盖上下文无关文法（CCFG）的$\ell$，即，一个CFG的结构描述与深度最多$\ell$同意与未知的CFG。我们提出了一种算法，称为$LA^\ell$，有效地学习CCFG使用两种类型的查询：结构等价和结构成员。我们表明，$LA^\ell$运行在一个最小的确定性有限覆盖树自动机（DCTA）的状态数的时间多项式关于$\ell$。这个数字往往是远远小于一个最小的确定性有限树自动机的未知语法的结构描述的状态数。
2014-04-09 cs.FL
On the Complexity of the Universality and Inclusion Problems for Unambiguous Context-Free Grammars
研究了无二义性有限自动机和上下文无关文法的普适性和包含问题的计算复杂性。我们观察到，几个这样的问题可以减少到明确的上下文无关文法的普遍性问题。后一个问题一直被认为是可判定的，我们提出了一个PSPACE算法，其工作原理是通过减少到卷积递归方程的零问题。我们不知道任何非平凡的复杂性下限。然而，我们表明，计算明确的上下文无关语言的硬币翻转度量（普遍性的定量概括）对于长期存在的开放问题SQRTSUM来说是困难的。
2020-08-07 cs.FL
On Quantum Context-Free Grammars
本文针对量子上下文无关文法（QCFGs）的合式性问题，在已有研究基础上提出了若干确保推导词概率不超1的充要条件（幺正条件），完善了量子文法领域的相关理论。
2025-05-20 cs.FL
Expressive Power of Hypergraph Lambek Grammars
本文证明了超图Lambek文法与带推导长度线性限制的双推出超图文法生成相同语言类，完整刻画了其表达能力，并推论其包含上下文超边替换文法。
2023-11-29 cs.FL
Descriptional Complexity of Three-Nonterminal Scattered Context Grammars: An Improvement
最近，它已被证明，每一个递归可重写的语言可以产生一个分散的上下文文法不超过三个非终结符。然而，在这种构造中，在推导步骤中同时重写的非终结符的最大数量取决于许多因素，例如生成语言的字母表的基数和生成语言本身的结构。本文改进的结果表明，在任何推导步骤中同时重写的非终结符的最大数量可以由一个小常数限制，而不管其他因素。
2009-07-29 cs.FL
Idefix-Closed Languages and Their Application in Contextual Grammars
本文研究上下文文法中作为选择语言的 idefix-闭语言（中缀、前缀、后缀闭），将其与多种次正则语言族比较，并扩展外部与内部上下文文法的层级，同时解决了一个关于后缀闭选择语言的开放问题。
2025-07-21 cs.FL
Forbidden-Context & Ordered Grammar Systems
Universität Trier（特里尔大学）；VIT University（维特大学）；Universität Potsdam（波茨坦大学）
本文研究将禁止随机上下文文法与有序文法结合到协作分布式文法系统中，探讨其生成能力，提出四种场景，解决部分开放性问题。
2026-04-21 cs.FL
On the Computation of Distances for Probabilistic Context-Free Grammars
概率上下文无关文法（PCFG）用于定义字符串上的分布，并且是许多领域中的强大建模工具，包括自然语言处理、软件工程、模型检验、生物信息学和模式识别。一个常见的重要问题是比较这些语法生成或建模的分布：这是通过检查语言等价性和计算距离来完成的。如果每个字符串与两个文法具有相同的概率，则两个PCFG是语言等价的。这也意味着距离（无论使用哪个范数）为空。语言等价问题与上下文无关文法的多重歧义问题是一个长期存在的问题。在这项工作中，我们证明了计算距离对应于解决不可判定的问题：这是L1，L2范数，变异距离和Kullback-Leibler发散的情况。还有两个结果不那么消极：1。最可能的字符串可以计算，和，2。切比雪夫距离（其中两个分布之间的距离是所有字符串上概率的最大差异）与语言等价问题是可约的。
2014-07-06 cs.FL
Comparison of Two Context-Free Rewriting Systems with Simple Context-Checking Mechanisms
本文解决了一个公开的问题，非擦除上下文无关重写系统的生成能力，使用一个简单的机制，检查上下文的依赖关系，在文献中称为半条件文法的程度（1，1）。在这些语法中，两个非终结符被附加到每个上下文无关产生式，并且如果两个附加符号之一出现在当前句子形式中，而另一个不出现，则这样的产生式是适用的。具体地说，本文证明了由（1，1）度半条件文法生成的语言族与随机上下文语言族是一致的。此外，还证明了Mayer证明的有擦除产生式的随机上下文文法的范式对无擦除产生式的随机上下文文法也成立.它还讨论了文献中使用的直接推导步骤的关系的两种可能的定义。
2010-04-21 cs.FL
Parsing Hypergraphs using Context-Free Positional Grammars
University of Salerno（萨莱诺大学）
本文提出了一种基于位置语法规则的超图解析方法，通过转换超边替换为带约束的位置语法规则，利用排列操作确定超边顺序，并揭示了生成与识别歧义的区别。
2026-01-07 cs.FL
Various Types of Comet Languages and their Application in External Contextual Grammars
本文研究多种类彗星语言，将其与多类亚正则语言族及外部上下文文法层级中的语言族对比，扩展了现有语言族层级体系，推进了带选择的上下文文法表达能力研究。
2024-09-11 cs.FL
Passive Model Learning of Visibly Deterministic Context-free Grammars
本文提出PAPNI算法，将RPNI推广到可见确定性下推自动机，在已知字母表分解的前提下实现确定性上下文无关文法的被动学习，并通过实验验证其预测准确率优于RPNI。
2025-08-22 cs.FL
Around Context-Free Grammars -- a Normal Form, a Representation Theorem, and a Regular Approximation
本文提出上下文无关文法的 Dyck 范式，证明任意 CFL 可表示为单侧 Dyck 语言子集的同态像，并据此构造其正则超集逼近。
2015-12-31 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
Weak Greibach Normal Form for Hyperedge Replacement Grammars
已知超边替换文法在定义和性质上类似于字符串上下文无关文法。因此，我们期望有一个推广的著名的Greibach范式从字符串文法超图文法。这样的广义范式在几篇论文中被提出，然而，它们并没有覆盖一大类超图语言（例如由星形图组成的语言）。本文引入了一种弱Greibach范式，它的定义对应于字符串文法的词汇化范式，并证明了任何上下文无关超图语言（除非实体例外）都可以由这种范式中的文法生成.本文给出的证明推广了相应的字符串文法的一个技术细节。
2020-12-03 cs.FL
Converting Nondeterministic Automata and Context-Free Grammars into Parikh Equivalent One-Way and Two-Way Deterministic Automata
从概念复杂性的角度，研究了单向非确定有限自动机和上下文无关文法到Parikh等价的单向和双向确定有限自动机的转换.证明了对于每个具有$n$状态的单向非确定自动机，存在Parikh等价的分别具有$e^{O(\sqrt{n \ln n})}$和$p(n)$状态的单向和双向确定自动机，其中$p(n)$是多项式.此外，这些费用很紧张。相反，如果所有的话接受给定的自动机包含至少两个不同的字母，那么Parikh等价的单向确定性自动机的多项式数量的states.Concerning上下文无关文法，我们证明了，对于每个语法在乔姆斯基范式与h变量存在Parikh等价的单向和双向确定性自动机与$2^{O(h^2)}$和$2^{O(h)}$状态，分别。即使这些界限也很紧。
2012-12-11 cs.FL
On Word and Frontier Languages of Unsafe Higher-Order Grammars
高阶文法是常规文法和上下文无关文法的扩展，其中非终结符可以带参数。它们在80年代得到了广泛的研究，最近又在模型检验和程序验证的背景下得到了重新研究。我们证明了不安全序-（n+1）词语言类与不安全序-n树语言的边界语言类是一致的。我们使用交集类型来将一个n+1序词文法转换成一个相应的n序树文法。Damm在1982年已经证明了这个结果对于安全语言，但据我们所知，它对于不安全语言是开放的。各种已知的结果高阶文法可以得到几乎直接推论我们的结果。
2016-05-20 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
Formalization of context-free language theory
上下文无关语言理论是计算机语言处理技术和形式语言理论中的一个重要课题。本文提出了一个形式化，使用Coq证明助手，有关上下文无关文法和语言的基本结果。这些包括封闭属性（联合，连接和Kleene星），语法简化（消除无用的符号，不可访问的符号，空规则和单位规则）和上下文无关文法的乔姆斯基范式的存在。
2015-10-30 cs.FL
Multiple Context-Free Tree Grammars: Lexicalization and Characterization
Leiden University（莱顿大学）；Universität Leipzig（莱比锡大学）；Universität Bremen（不来梅大学）
多（简单）上下文无关树文法的调查，其中“简单”的意思是“线性和非删除”。每一个多上下文无关树语法是不明确的，可以词汇化;即，它可以被转换成等价的一种（生成相同的树语言），其中语法的每个规则包含一个词汇符号。由于这种转换，非终结符的秩最多增加1，语法的多重性（或扇出）最多增加词汇符号的最大秩;特别是，当所有词汇符号的秩为0时，多重性不会增加。多上下文无关树文法与多成分树邻接文法具有相同的树生成能力（只要后者可以使用根标记）。此外，每个多成分树邻接文法，是无歧义的可以词汇化。多重上下文无关树文法与多重上下文无关（字符串）文法和多项式时间解析算法具有相同的字符串生成能力。树语言可以由多上下文无关树文法生成当且仅当它是在确定性有限复制宏树转换器下的正则树语言的映像。多个上下文无关树文法可以用作同步翻译设备。
2017-07-11 cs.CL cs.FL
Parsing Expression GLL
本文提出了一个扩展的GLL分析算法的上下文无关文法，它也支持分析表达式语法与有序选择和前瞻。新的PEGLL算法保留了对无序选择的支持，从而解析上下文无关文法和解析表达式文法的公共超集。作为这项工作的一部分，作者已经修改了现有的GLL解析器生成器，以支持解析表达式语法，添加常见的解析表达式的操作符，并修改词法分析器算法，以更好地支持有序选择。
2022-08-26 cs.FL
P(Expression|Grammar): Probability of deriving an algebraic expression with a probabilistic context-free grammar
University of Ljubljana（卢布尔雅那大学）；Jožef Stefan Institute（约瑟夫·斯特凡研究所）
概率上下文无关文法在机器学习和符号回归中作为生成模型有着长期的使用记录。当用于符号回归时，它们生成代数表达式。我们将后者定义为等价类的字符串派生的语法和地址的问题，计算概率得出一个给定的表达式与一个给定的语法。我们表明，该问题是不可判定的一般。然后，我们提出了具体的语法生成线性，多项式和有理表达式，其中算法计算的概率给定的表达式存在。对于这些文法，我们设计算法来计算精确的概率和有效的近似与任意精度。
2022-12-02 cs.FL cs.LG
A Uniform Framework for Problems on Context-Free Grammars
本文改进Bouajjani等人基于自动机的统一方法，提出空间复杂度更优、更易理解的新算法，并表明其在多数上下文无关文法标准问题上可与知名方案竞争。
2024-10-25 cs.FL
Complexity of Problems for Commutative Grammars
我们认为Parikh图像的语言接受的非确定性有限自动机和上下文无关文法，换句话说，我们对待的语言交换的方式-我们不关心字母的顺序在接受的单词，而是多少次，他们每个人出现。在大多数情况下，我们假设字母表是固定大小的。我们展示了严格的复杂性界限，如成员资格，等价性和不相交性。特别是，我们展示了多项式算法的成员资格和不相交的Parikh图像的非确定性有限自动机在固定字母表，我们证明了等价性是Pi 2 P完全的上下文无关文法在固定的终端字母表。
2010-03-22 cs.FL
How to Demonstrate Metalinearness and Regularity by Tree-Restricted General Grammars
本文引入通用文法的推导树与上下文相关节点对概念，证明了满足相邻路径上下文相关节点对数量有界条件时，线性核心通用文法生成k-线性语言、正则核心通用文法生成正则语言，为语言性质证明提供工具。
2024-09-11 cs.FL
Classifying sequences by combining context-free grammars and OWL ontologies
本文提出一种在OWL中形式化上下文无关文法的模式用于序列分类，并在计算复杂度与实际适用性上与现有方法比较，展示了音乐领域的应用示例。
2023-04-06 cs.FL cs.SC
Learning of Structurally Unambiguous Probabilistic Grammars
Ben Gurion University（本·古里安大学）
识别概率上下文无关文法的问题有两个方面：第一是确定文法的拓扑结构（文法的规则），第二是估计每个规则的概率权重。鉴于学习上下文无关文法的困难，尤其是概率文法，大多数文献都集中在第二个问题上。在这项工作中，我们解决第一个问题。我们限制注意结构明确的加权上下文无关文法（SUWCFG），并提供了一个查询学习算法的结构明确的概率上下文无关文法（SUPCFG）。我们表明，SUWCFG可以表示使用共线多重树自动机（CMTA），并提供一个多项式学习算法，学习CMTA。我们发现，学习CMTA可以转换成一个概率语法，从而提供了一个完整的算法学习结构明确的概率上下文无关文法（语法拓扑结构和概率权重）使用结构化的成员资格查询和结构化的等价查询。我们证明了我们的算法在学习基因组数据的PCFG的有用性。
2021-03-09 cs.FL cs.LG
Restricted Global Grammar Constraints
NICTA（国家信息与通信技术研究院）；University of NSW（新南威尔士大学）
本文研究了上下文无关文法如确定性和无二义性的上下文无关文法的受限类上的全局GRAMMAR约束。我们发现，在这些情况下，检测的GRAMMAR约束的disentailment是一样困难的分析一个不受限制的上下文无关文法。我们还考虑类的线性文法，并给出了一个传播，在二次时间运行。最后，为了演示线性文法的使用，我们证明了加权线性文法约束可以有效地编码EDITDISTANCE约束，以及EDITDISTANCE约束和REGULAR约束的结合
2009-06-29 cs.AI cs.FL
Estimating probabilistic context-free grammars for proteins using contact map constraints
蛋白质序列语言的学习是生物信息学的一个长期挑战，它需要至少上下文无关文法来描述氨基酸之间的非局部相互作用。然而，蛋白质相互作用的复杂性阻碍了上下文无关文法的无监督学习。使用结构信息来约束句法树在学习概率自然语言和RNA语言中被证明是有效的。在这项工作中，我们建立了一个框架，学习概率上下文无关文法的蛋白质序列的句法树部分限制使用从湿实验或计算预测，其可靠性大幅增加最近获得的氨基酸接触。在这个框架内，我们实现了简单而实用的语法参数的最大似然和对比估计。通过对蛋白质基序样本的测试，在该框架内开发的语法显示出更高的识别精度和对蛋白质结构的更高保真度。该框架适用于其他生物分子语言和超越任何地方的非本地依赖性的知识。
2018-05-22 cs.FL q-bio.BM
On Even Linear Indexed Languages with a Reduction to the Learning of Context-Free Languages
本文给出了线性指标文法的一种限制形式，称为偶线性指标文法，它产生偶线性指标语言。这些语言正确地包含上下文无关语言，并且包含在线性索引语言的集合中。我们表明，在自然语言中发现的几种模式也是由这些语法生成的，包括交叉依赖关系、复制和多个协议。我们讨论了学习问题，甚至线性索引的语言，并表明它是可还原的上下文无关的语言。这类语言的封闭性也提出。
2014-08-23 cs.FL
On Languages Generated by Signed Grammars
本文研究带符号文法生成的语言，利用派生树产出的形式级数来指定形式语言，并分析所得语言族的性质。
2023-09-15 cs.FL
Optimal Test Sets for Context-Free Languages
一个形式语言（字符串集）L的测试集是L的子集T，使得对于定义在L上的任意两个字符串同态f和g，如果f和g在T上的限制是相同的函数，则f和g在整个L上是相同的。以前，它表明，有上下文无关文法的最小测试集是立方的语法的大小，这给出了测试集大小的下限。现有的上限是更高的次数多项式，我们在这里给出的第一个算法来计算测试集的立方大小的所有上下文无关文法，解决之间的差距上限和下限。
2016-11-21 cs.FL
Language properties and Grammar of Parallel and Series Parallel Languages
本文定义了并行语言和串行并行语言的语言理论性质。并行语言和串行并行语言在计算机程序设计的并行处理和许多应用中起着至关重要的作用。我们已经为基于顺序语言的并行和串行并行语言定义了正则表达式和上下文无关文法[2]。我们还讨论了使用正则表达式和正则文法的并行和串行并行语言的可识别性。
2017-11-06 cs.FL
A unifying approach to picture grammars
几个旧的和最近的图片文法类，在两个维度上不同地扩展上下文无关的字符串文法，是基于重写像素数组的规则。这样的语法可以使用基于瓦片的方法来统一和扩展，其中规则的正确部分通过有限的允许瓦片集来形式化。我们专注于一个简单的类型的平铺，命名为区域，并定义相应的区域瓷砖语法。它们包括Siromoney的（或Matz的）Kolam文法和Prusa的推广，以及Drewes的网格文法。区域定义的图片可以识别多项式时间复杂度的算法扩展的CKY字符串之一。区域瓦片语法和语言严格包含在我们以前的瓦片语法和语言中，并且与Giammarresi-Restivo瓦片系统（或Wang系统）无法比拟。
2011-01-08 cs.FL
On the equivalence between generating functions computed by memory transducers and enumerating functions produced by indexed grammars
Université de Bordeaux, CNRS, Bordeaux INP, LaBRI, UMR 5800（波尔多大学、法国国家科学研究中心、波尔多理工学院、LaBRI实验室）
该研究证明了确定性记忆转换器计算的自然数序列与无歧义上下文自由索引文法生成的形式语言计数序列等价，还表明多项式递推可准确计数索引语言。
2026-09-07 cs.FL
Basic Classes of Grammars with Prohibition
University of California, Los Angeles（加利福尼亚大学洛杉矶分校）
在形式语法和语言的背景下，开发了一个实用的自然语言建模和人机交互开发工具。本文介绍了一种新的形式文法--禁止文法。与传统的形式语法相比，禁止语法为自然语言的生成提供了更强有力的工具，更好地描述了语言学习的过程。在这里，我们研究的语言之间的关系所产生的不同的语法禁止的基础上，传统类型的形式语法，如上下文无关或上下文敏感的语法。此外，我们还比较了由不同的禁止文法生成的语言和由常规形式文法生成的语言。特别是，它表明，他们有本质上更高的计算能力和表达的可能性相比，传统的形式语法。因此，虽然传统的形式文法是递归和次递归算法，但许多禁止的文法是超递归算法。在这项工作中提出的结果是针对发展的人机交互，建模自然语言，授权的程序设计语言，计算机模拟，更好的软件系统，和递归理论。
2013-02-21 cs.CL cs.FL
Merging two Hierarchies of Internal Contextual Grammars with Subregular Selection
本文比较并合并了基于结构性质与基于资源的内部上下文文法选择语言的两个层级，揭示了其语言族之间的关系。
2023-09-15 cs.CC cs.FL
