戈卡尔普·德米尔西;Mika Hirvensalo;克劳斯·莱因哈特;喂，A.C.杰姆;亚卡里·马茨，阿布泽尔 交替、私有交替和量子交替实时自动机。 （英语） Zbl 1509.68067号 日志。方法计算。科学。 15，第3号，第22号论文，21页（2019年）. 摘要：我们提出了实时交互、私有交互和量子交互自动机模型的新结果。首先，我们证明了一元字母表上交替单计数器自动机的空性问题是不可判定的。然后，我们给出了实时私有交替有限自动机（PAFA）的两个等价定义。我们表明，PAFA的空置问题是无法确定的。此外，PAFA可以识别一些非规则的一元语言，包括一元平方语言，即使对于一些具有双向输入的经典反自动机来说，这似乎也是很困难的。关于量子有限自动机（QFA），我们证明了空性问题对于一般字母上的通用QFA和一元字母上具有两个交替的交替QFA都是不可判定的。另一方面，对于一般字母表上的不确定QFA，同样的问题也是可判定的。我们还证明了一元平方语言是通过两个交替的QFA来识别的。 引用于1文件 MSC公司： 04年第68季度 经典计算模型（图灵机等） 2012年第68季度 计算理论中的量子算法和复杂性 81页68 量子计算 关键词：交替;私人交替;交互式证明系统;量子计算;实时计算;计数器自动机;空虚问题;一元语言 软件：阿尔戈60 PDF格式BibTeX公司 XML格式引用 \textit{G.Demirci}等人，日志。方法计算。科学。15，第3号，第22号论文，21页（2019年；Zbl 1509.68067） 全文： arXiv公司 参考文献： [1] Leonard M.Adleman、Jonathan DeMarrais和Ming-Deh A.Huang。量子可计算性。SIAM计算机杂志，26（5）：1524-15401997·Zbl 0895.68043号 [2] 安德里斯·安巴尼斯和阿布泽·亚卡里·马茨。自动机：从数学到应用，自动机和量子计算一章。出现。arXiv:1507.01988年·Zbl 1237.68082号 [3] L´aszl´o Babai先生。交易集团理论的随机性。在STOC'85中，第421-429页，1985年。 [4] Zuzana Bedn´arov´a、Viliam Geffert、Klaus Reinhardt和Abuzer Yakaryilmaz。关于最小可用空间量的新结果。国际计算机科学基础杂志，27（2）：259-2822016·Zbl 1338.68138号 [5] 马尔齐奥·德比亚西和阿布泽·亚卡里·马茨。双向单计数器机器识别的非普通一元语言。在CIAA中，LNCS第8587卷，第148-161页。施普林格，2014年。（arXiv:1404.2761）·Zbl 1302.68156号 [6] 文森特·布隆德尔（Vincent D.Blondel）、伊曼纽尔·詹德尔（Emmanuel Jeandel）、帕斯卡尔·科伊兰（Pascal Koiran）和娜塔莎·波特（Natacha Portier）。关于量子自动机的可判定和不可判定问题。SIAM计算机杂志，34（6）：1464-14732005·兹比尔1078.81012 [7] Tat-hung Chan。计数器的反转复杂性。1981年，《STOC’81：第十三届ACM计算理论研讨会论文集》，第146-157页。 [8] Ashok K.Chandra、Dexter C.Kozen和Larry J.Stockmeyer。交替。美国医学会杂志，28（1）：114-1331981·Zbl 0473.68043号 [9] 安妮·康登。游戏的计算模型。麻省理工学院出版社，1989年。 [10] H.G–okalp Demirci、Mika Hirvensalo、Klaus Reinhardt、A.C.Cem Say和Abuzer Yakary？lmaz。经典和量子实时交替自动机。在NCMA中，第304卷，第101-114页。¨Osterreichische Computer Gesellschaft，2014年。（arXiv:1407.0334）·Zbl 1509.68067号 [11] H.G–okalp Demirci，A.C.Cem Say，和Abuzer Yakarylmaz。辩论检查的复杂性。计算系统理论，57（1）：36-802015·Zbl 1329.68108号 [12] 西莫·金斯堡和H.戈登·赖斯。与ALGOL相关的两个语系。ACM杂志，9（3）：350-3711962年·Zbl 0161.13903号 [13] 沙菲·戈德瓦瑟（Shafi Goldwasser）、西尔维奥·米卡利（Silvio Micali）和查尔斯·拉科夫（Charles Rackoff）。交互式证明系统的知识复杂性（扩展抽象）。STOC’85：第17届ACM年度理论研讨会论文集·Zbl 0677.68062号 [14] 沙菲·戈德瓦瑟（Shafi Goldwasser）、西尔维奥·米卡利（Silvio Micali）和查尔斯·拉科夫（Charles Rackoff）。交互式证明系统的知识复杂性。SIAM计算机杂志，18（1）：186-2081989·Zbl 0677.68062号 [15] 米卡·赫文萨洛（Mika Hirvensalo）。具有开放时间演化的量子自动机。国际自然计算杂志，1（1）：70-852010。 [16] Oscar H.Ibarra、Tao Jiang、Nicholas Q.Trˆan和Hui Wang。关于有界语言上双向下推自动机和计数器的等价性。国际基金会杂志·Zbl 0802.68088号 [17] 李绿洲、邱道文、邹祥福、李绿军、吴丽华和保罗·马特乌斯。单向通用量子有限自动机的特征。理论计算机科学，419:73-912012·Zbl 1235.68102号 [18] 保罗·马特乌斯、邱道文和李绿洲。关于最小化概率和量子自动机的复杂性。《信息与计算》，218:36-532012年·Zbl 1279.68164号 [19] 克里斯托弗·摩尔（Cristopher Moore）和詹姆斯·克拉奇菲尔德（James P.Crutchfield）。量子自动机和量子语法。理论计算机科学，237（1-2）：275-3062000·兹伯利0939.68037 [20] Michael A.Nielsen和Isaac L.Chuang。量子计算和量子信息。剑桥大学出版社，2000年·Zbl 1049.81015号 [21] 阿扎里亚·巴兹。概率自动机简介。纽约学术出版社，1971年·Zbl 0234.94055号 [22] 霍尔格·彼得森。双向单计数器自动机接受有界语言。SIGACT新闻，25（3）：102-1051994。 [23] 加里·彼得森和约翰·赖夫。多人交替。《SFCS’79：第20届计算机科学基础年度研讨会论文集》，第348-363页，1979年。 [24] 约翰·雷夫（John H.Reif）。不完全信息的普遍游戏。第11届ACM计算机理论研讨会论文集，STOC'79，第288-308页。ACM，1979年。 [25] 约翰·雷夫（John H.Reif）。不完全信息两层博弈的复杂性。《计算机与系统科学杂志》，29（2）：274-301984·Zbl 0551.90100号 [26] 克劳斯·莱因哈特和阿布泽·亚卡里·马茨。最小可用空间：新结果和新方向。《语言理论的发展》，LNCS第8633卷，第315-326页。施普林格，2014年·Zbl 1425.68227号 [27] 阿尔托·萨洛马阿和马蒂·索伊托拉。形式幂级数的自动机理论方面。计算机科学的文本和专著。Springer-Verlag（纽约），1978年·兹比尔0377.68039 [28] A.C.Cem Say和Abuzer Yakaryálmaz。具有恒定随机性的有限状态验证器。《世界如何计算》，《计算机科学讲义》第7318卷，第646-654页。2012. ·Zbl 1338.68160号 [29] A.C.Cem Say和Abuzer Yakaryálmaz。具有恒定随机性的有限状态验证器。《计算机科学中的逻辑方法》，10（3），2014年。 [30] A.C.Cem Say和Abuzer Yakaryálmaz。量子有限自动机：现代导论。《利用新资源进行计算》，LNCS第8808卷，第208-222页。斯普林格，2014年·Zbl 1323.68278号 [31] Wen-Guey Tzeng先生。概率自动机等价的多项式时间算法。SIAM计算机杂志，21（2）：216-2271992·Zbl 0755.68075号 [32] 阿布泽·亚卡里·马兹。可判定语言的单计数器验证器。在CSR中，LNCS第7913卷，第366-377页。施普林格，2013年·Zbl 1382.68138号 [33] 阿布泽·亚卡里·马兹。量子交替。在CSR中，《计算机科学讲义》第7913卷，第334-346页。施普林格，2013年·Zbl 1381.68091号 [34] 阿布泽·亚卡里·马兹。量子交替。《洛巴切夫斯基数学杂志》，37（6）：637-6492016·Zbl 1407.68182号 [35] 阿布泽·亚卡里·马兹和A.C.杰姆·赛伊。由不确定性量子有限自动机识别的语言。量子信息与计算，10（9&10）：747-7702010·Zbl 1236.81071号 [36] 阿布泽·亚卡里·马兹和A.C.杰姆·赛伊。具有较小空间边界的无边界错误量子计算。信息与计算，279（6）：873-8922011·兹比尔1221.68092 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。