首页/论文/1507.08600

arXiv 1507.086002015-07-30cs.FL

线性位移上下文无关文法的范式

Normal forms for linear displacement context-free grammars

Alexey Sorokin

备注：: 5 pages, just for educational and referential purposes, therefore no references

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

本文证明了线性位移上下文无关文法的范式的几个结果。结果本身相当简单，使用众所周知的技术，但它们被广泛用于更复杂的结构。因此，本文主要起到教育和参考的作用。

英文摘要：

In this paper we prove several results on normal forms for linear displacement context-free grammars. The results themselves are rather simple and use well-known techniques, but they are extensively used in more complex constructions. Therefore this article mostly serves educational and referential purposes.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

置换上下文无关文法的泵引理和Ogden引理

Pumping lemma and Ogden lemma for displacement context-free grammars

泵引理和奥格登引理提供了一个强有力的方法来证明一个特定的语言不是上下文无关的。在2008年，金泽证明了一个类似于抽水引理的嵌套多上下文自由语言。然而，引理的陈述对于实际应用来说太弱了。我们证明了一个更强的变种泵引理和类似的奥格登引理这个语言的家庭。我们还使用这些语句来证明，一些自然的上下文敏感的语言不能生成的树邻接文法。

2014-06-30cs.FL

上下文无关文法的Marciani范式

Marciani Normal Form of context-free grammars

本文证明了上下文无关文法是否生成正则语言问题的半判定性。我们在Marciani范式中引入了上下文无关文法的概念。我们证明了Marciani范式中的上下文无关文法总是生成正则语言。

2016-11-07cs.FL

超边替换文法的弱Greibach范式

Weak Greibach Normal Form for Hyperedge Replacement Grammars

已知超边替换文法在定义和性质上类似于字符串上下文无关文法。因此，我们期望有一个推广的著名的Greibach范式从字符串文法超图文法。这样的广义范式在几篇论文中被提出，然而，它们并没有覆盖一大类超图语言（例如由星形图组成的语言）。本文引入了一种弱Greibach范式，它的定义对应于字符串文法的词汇化范式，并证明了任何上下文无关超图语言（除非实体例外）都可以由这种范式中的文法生成.本文给出的证明推广了相应的字符串文法的一个技术细节。

2020-12-03cs.FL

关于上下文无关文法——一种范式、一个表示定理与一种正则逼近

Around Context-Free Grammars -- a Normal Form, a Representation Theorem, and a Regular Approximation

本文提出上下文无关文法的 Dyck 范式，证明任意 CFL 可表示为单侧 Dyck 语言子集的同态像，并据此构造其正则超集逼近。

2015-12-31cs.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-19cs.FL

字母表与文法无关的不可擦除Chomsky-Sch{ü}tzenberger定理

Non-erasing Chomsky-Sch{ü}tzenberger theorem with grammar-independent alphabet

Chomsky和Schützenberger（CST）的著名定理说，在一个字母表$Σ$上的每一个上下文无关语言$L$都可以表示为$h(D \cap R)$，其中$D$是一个在一组括号$Ω$上的Dyck语言，$R$是一个局部语言，而$h$是一个擦除无限多符号的字母同态。Berstel发现，如果语法是Greibach范式，则擦除的数量可以线性限制; Berstel和Boasson（以及后来独立的Okhotin）证明了CST在双重Greibach范式中的非擦除变体。然而，在所有这些CST语句中，Dyck字母表$Ω$的大小取决于$L$的语法大小。在CST的Stanley变体中，$|Ω|$只依赖于$|Σ|$而不依赖于语法，但同态删除的符号比CST的其他版本多得多;而且，正则语言$R$是严格局部可测试的，但不是局部的。我们证明了一个新版本的CST，它结合了非擦除和使用语法独立的字母表的功能。在我们的构造中，$|Ω|$是$|Σ|$中的多项式，即$O(|Σ|^{46})$，并且正则语言$R$是严格局部可测试的。使用最近的推广梅德韦杰夫的正规语言的同态特征，我们证明了在多项式依赖的$|Ω|$上$|Σ|$的程度可以减少到只有2的情况下，线性文法的双重格雷巴赫规范形式。

2018-05-10cs.FL

更多相关论文收起更多论文

序数文法生成的序数是可计算的

The ordinal generated by an ordinal grammar is computable

前缀文法是一种上下文无关文法，它的非终结符生成无前缀语言。如果语言$L(G)$相对于字典顺序是良序的，则前缀语法$G$是序数语法。已知从参数不动点方程的有限系统可以构造一个序文法$G$，使得$G$的字典序与系统的最小解同构，如果这个解是良序的。在本文中，我们表明，给定一个序数文法，可以计算（康托范式）的顺序类型的字典顺序的语言，产生的不动点方程系统定义代数序数的最小解是有效的可计算的（因此，他们的同构问题也是可判定的）。

2019-04-24cs.FL

双边语境语法

Grammars with two-sided contexts

在最近的一篇论文中（M。Barash，A. Okhotin，“Defining contexts in上下文无关文法“，LATA 2012），作者介绍了上下文无关文法的扩展，其配备有用于引用被定义的子串的左上下文的运算符。本文提出了一个更通用的模型，其中上下文规范可以是双侧的，即左上下文和右上下文都可以由相应的运算符指定。本文给出了这类文法的定义并建立了其基本理论，给出了一个范式和一个时间复杂度为O（n^4）的语法分析算法，其中n是输入字符串的长度。

2014-05-22cs.FL

语境无关语言理论的形式化

Formalization of context-free language theory

上下文无关语言理论是计算机语言处理技术和形式语言理论中的一个重要课题。本文提出了一个形式化，使用Coq证明助手，有关上下文无关文法和语言的基本结果。这些包括封闭属性（联合，连接和Kleene星），语法简化（消除无用的符号，不可访问的符号，空规则和单位规则）和上下文无关文法的乔姆斯基范式的存在。

2015-10-30cs.FL

不确定自动机和上下文无关文法到Parikh等价单向和双向确定自动机的转换

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-11cs.FL

两种具有简单上下文检查机制的上下文无关重写系统的比较

Comparison of Two Context-Free Rewriting Systems with Simple Context-Checking Mechanisms

本文解决了一个公开的问题，非擦除上下文无关重写系统的生成能力，使用一个简单的机制，检查上下文的依赖关系，在文献中称为半条件文法的程度（1，1）。在这些语法中，两个非终结符被附加到每个上下文无关产生式，并且如果两个附加符号之一出现在当前句子形式中，而另一个不出现，则这样的产生式是适用的。具体地说，本文证明了由（1，1）度半条件文法生成的语言族与随机上下文语言族是一致的。此外，还证明了Mayer证明的有擦除产生式的随机上下文文法的范式对无擦除产生式的随机上下文文法也成立.它还讨论了文献中使用的直接推导步骤的关系的两种可能的定义。

2010-04-21cs.FL

Watson-Crick上下文无关文法成员问题的实用性

Practical Aspects of Membership Problem of Watson-Crick Context-free Grammars

本文重点介绍受DNA计算启发的沃森-克里克语言，它们的模型，以及决定语言成员的算法。它分析了最近推出的算法WK-CYK，并介绍了一种状态空间搜索算法，该算法基于常规的广度优先搜索，但使用了一些优化和算法，以提高实际使用的效率，并能够分析较长的输入。关键部分是修剪状态空间（检测死端）的算法和选择最有希望的分支继续搜索的算法。这两个算法已经测试了20个不同的沃森-克里克文法（40个，包括他们的乔姆斯基范式版本）。虽然WK-CYK能够在合理的时间内为大约30-50个符号长度的输入确定语言成员，并且其性能对于所有类型的语法和输入都非常一致，但状态空间搜索通常（89- 98%的情况）更有效，并且能够对数百甚至数千个符号长度的输入进行计算。因此，状态空间搜索有可能成为一个很好的工具，实际沃森-克里克成员测试，是一个很好的基础，提高算法的效率在未来。

2022-09-08cs.FL

带置换规则的Lambek演算文法：识别能力及其与带状态的分支向量加法系统的联系

Grammars over the Lambek Calculus with Permutation: Recognizing Power and Connection to Branching Vector Addition Systems with States

本文证明带置换规则的Lambek演算文法（LP-grammars）等价于线性受限的带状态分支向量加法系统（lBVASSAM），并通过构造生成非半线性向量集的例子证明LP-grammars的生成能力严格强于上下文无关语言的置换闭包，同时给出其范式并证明语言类对交集封闭。

2022-11-19cs.FLmath.LO

同步上下文无关文法与最优线性分析策略

Synchronous Context-Free Grammars and Optimal Linear Parsing Strategies

Università di Firenze（佛罗伦萨大学）；University of Rochester（罗切斯特大学）；Università di Milano（米兰大学）；Università di Roma Tor Vergata（罗马第二大学（托尔·维尔加塔））；University of Padua（帕多瓦大学）

同步上下文无关文法（SCFG），也称为语法指导的翻译模式，与上下文无关文法不同之处在于它们没有二进制范式。通常，使用SCFG进行解析需要输入字符串长度的空间和时间多项式，但多项式的次数取决于SCFG规则的排列。我们考虑线性解析策略，每次添加一个非终结符。我们证明了对于给定的输入置换，寻找具有最小空间复杂度和时间复杂度的线性句法分析策略的问题都是NP困难的。

2013-11-25cs.CLcs.FL

关于偶线性语言若干复杂性结果的研究

On Some Complexity Results for Even Linear Languages

本文研究上下文无关文法的Dyck范式，证明每个上下文无关语言可表示为单侧Dyck语言子集在同态下的像，并据此给出偶线性语言属于AC1的新证明。

2024-01-25cs.CCcs.FLcs.LO

$ω$ -代数系统的Greibach范式与加权简单$ω$ -下推自动机

Greibach Normal Form for $ω$-Algebraic Systems and Weighted Simple $ω$-Pushdown Automata

在加权自动机理论中，许多关于形式语言的经典结果被推广到定量的环境中。在这里，我们研究加权上下文无关语言的无限词，一个推广的$ω$ -上下文无关语言（科恩，黄金1977年）和扩展的加权上下文无关语言的有限词（乔姆斯基，Schützenberger 1963年）。在形式文法的理论中，这些加权上下文无关语言，或$ω$ -代数级数，可以表示为混合$ω$ -代数方程组的解和加权$ω$ -下推自动机。在我们的第一个主要结果中，我们证明了（混合）$ω$ -代数系统可以转化为Greibach范式。我们在第二个主要结果中使用Greibach范式证明了简单的$ω$ -复位下推自动机识别所有的$ω$ -代数级数。简单的$ω$ -复位自动机不使用$ε$ -转换，最多只能改变一个符号的堆栈。这些结果将上下文无关语言的基本性质推广到加权上下文无关语言。

2021-10-05cs.FL

抽象超结构范式：走向结构归纳理论

Abstraction Super-structuring Normal Forms: Towards a Theory of Structural Induction

Iowa State University（爱荷华州立大学）

归纳是一个过程，通过这个过程，我们获得了世界的预测性定律、理论或模型。我们考虑归纳的结构方面。我们回答的问题，我们是否可以找到一个有限的和minmalistic一套操作的结构元素，任何理论可以表示。我们识别抽象（将相似的实体分组）和超结构（在拓扑上组合，例如，时空接近的实体）作为归纳过程中的基本结构操作。我们表明，只有两个结构操作，即反向抽象和反向超结构（抽象和超结构的抽象）足以充分利用图灵等价生成语法的全部权力归纳。我们探讨了这个定理的含义与隐变量的性质，激进的实证主义和2个世纪前大卫休谟关于概念之间的联系原则的主张。

2011-07-03cs.AIcs.FLcs.LG

具有上下文无关以下复杂度的非交换线性逻辑片段

Non-commutative linear logic fragments with sub-context-free complexity

University of Illinois Springfield（伊利诺伊大学斯普林菲尔德分校）；RIKEN Center for Advanced Intelligence Project (AIP)（理化学研究所先进智能项目中心）

本文提出了Lambek演算片段对REG、LCFL和CFL类的新的描述复杂性刻画，首次将Lambek演算片段与证明复杂性REG和LCFL等同，并基于直接转换与结构归纳展示了最弱变体的CFL复杂性，确立了Cut消解定理在比较形式文法与矢列演算中的效用。

2025-11-04cs.CCcs.FLcs.LO