带加法的联合范畴语法与Lambek语法

Stepan L. Kuznetsov; Alexander Okhotin

带加法的联合范畴语法与Lambek语法

计算机科学中的逻辑 2024-05-28 v1 计算与语言逻辑

作者: Stepan L. Kuznetsov , Alexander Okhotin

摘要

本文提出了新的范畴语法家族，通过在基本范畴语法中引入合取运算来定义。我们证明了该形式化主张与联合语法具有相同的表达力，即由合取增强的上下文无关语法。我们还表明，带有合取的范畴语法可以自然地嵌入到带有合取和析取运算的Lambek演算中。这进一步意味着可以在带有合取的Lambek演算中定义某一NP完备集合。我们还展示了如何处理与空串相关的一些微妙问题。最后，我们证明，由联合语法生成的语言可以由带有析取的Lambek语法描述（但不包括合取）。

关键词

范畴语法 Lambek 演算合取析取形式语言理论

引用

@article{arxiv.2405.16662,
  title  = {Conjunctive categorial grammars and Lambek grammars with additives},
  author = {Stepan L. Kuznetsov and Alexander Okhotin},
  journal= {arXiv preprint arXiv:2405.16662},
  year   = {2024}
}

备注

This article is an extended version of the conference presentation "Conjunctive categorial grammars" at the Mathematics of Language 2017 meeting (London, UK, July 13-14, 2017; proceedings published in ACL Anthology, W17-3414)

带加法的联合范畴语法与Lambek语法

摘要

关键词

引用

备注

相关论文