奥尔加·马蒂诺娃;亚历山大·奥霍金 明确线性文法的互补非闭性。 （英语） Zbl 07687218号 Inf.计算。 292，文章ID 105031，6 p.（2023）. 摘要：本文证明了无歧义线性语言族（即由无歧义线性上下文语法定义的线性语言族）在互补下的不闭包。准确地说，本文提出了一种特殊的无歧义线性文法，并证明了该语言的补语不是由任何上下文无关文法定义的。这也为Hibbard和Ullian的结果提供了另一种证明（“无语境语言之间固有歧义与互补性的独立性”，雅克，1966）关于互补下无歧义语言的非闭包。 引用于1文件 MSC公司： 68季度xx 计算理论 关键词：无上下文文法;明确的语法;线性文法;互补;闭包属性 软件：阿尔戈60 PDF格式BibTeX公司 XML格式引用 \textit｛O.Martynova｝和\textit｛A.Okhotin｝，信息计算。292，文章ID 105031，6 p.（2023；Zbl 07687218） 全文： 内政部 arXiv公司 参考文献： [1] Ceccherini-Silberstein，T.，《关于线性语言的发展》，Adv.Appl。数学。，35, 3, 243-253 (2005) ·Zbl 1084.68060号 [2] 乔姆斯基，N。；Schützenberger，M.P.，《无上下文语言的代数理论》（Braffort，Hirschberg，《计算机编程和形式系统》（1963），北荷兰语），118-161·Zbl 0148.00804号 [3] Diekert，V。；Kopecki，S。；米特拉纳，V.，判定多项式时间正则语言发夹补足的正则性，Inf.Comput。，217, 12-30 (2012) ·Zbl 1279.68093号 [4] Flajolet博士，《无语境语言的分析模型和歧义性》，Theor。计算。科学。，49, 283-309 (1987) ·Zbl 0612.68069号 [5] 南卡罗来纳州金斯堡。；Spanier，E.H.，有界类ALGOL语言，翻译。美国数学。Soc.，113，2333-368（1964年）·Zbl 0142.24803号 [6] 南卡罗来纳州金斯堡。；Spanier，E.H.，Semigroups，Presburger公式和语言，Pac。数学杂志。，16, 2, 285-296 (1966) ·Zbl 0143.01602号 [7] 南卡罗来纳州金斯堡。；Ullian，J.，《在无语境语言中保持明确性和固有歧义》，J.ACM，13，3，364-368（1966）·兹伯利0143.01603 [8] Hibbard，T.N。；Ullian，J.，《无语境语言中固有歧义与互补性的独立性》，J.ACM，13，4，588-593（1966）·Zbl 0154.25802号 [9] Makarov，V.，GF（2）-语法描述的有界语言，（语言理论的发展。语言理论的进展，DLT 2021，葡萄牙波尔图，2021年8月16-20日。语言理论的发展。语言理论的发展，DLT 2021，葡萄牙波尔图，2021年8月16-20日，LNCS，第12811卷（2021）），279-290·Zbl 07498733号 [10] Okhotin，A.，连接语法，J.Autom。语言梳。，6, 4, 519-535 (2001) ·Zbl 1004.68082号 [11] Okhotin，A.，《连接语法的故事》，（语言理论的发展。语言理论的进展，DLT 2018，日本东京，2018年9月10日至14日。语言理论的发展。《语言理论的发展》，DLT 2018，日本东京，2018年9月10日至14日，LNCS，第11088卷（2018），36-59·Zbl 1517.68169号 [12] Seki，H。；松村，T。；Fujii，M。；Kasami，T.，《关于多上下文无关语法》，Theor。计算。科学。，88, 2, 191-229 (1991) ·Zbl 0762.68039号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。