｛“状态”：“正常”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2024,3,25]，“日期-时间”：“2024-03-25T18:09:37Z”，“时间戳”：1711390177245｝，“引用计数”：48，“发布者”：“EDP Sciences”，“问题”：“2”，“内容域”：｛“域”：[]，“交叉标记限制”：false｝，“短容器标题”：[“RAIRO Theor.Inf.Appl.”]，“published-print”：{“date-parts”：[[2014,4]]}，“DOI”：“10.1051\/ita\/2014003”，“type”：“journal-article”，“created”：{“date-parts”：[2014,4,17]]，“date-time”：“2014-04-17T04:47:11Z”，“timestamp”：1397710031000}，《page》：“187-207”，“source”：《Crossref》，“is-referenced-by-count”：16，“title”：[“论半量子有限自动机的状态复杂性a“]”，“前缀”：“10.1051”，“卷”：“48”，“作者”：[{“给定”：“生根”，“家族”：“郑”，“序列”：“第一”，“从属关系”：[]}，{“给出”：“Jozef”，“家庭”：“Gruska”，“顺序”：“附加”，“隶属关系”：[]}、{“指定”：“道文”，“家人”：“丘”，“排序”：“额外”，“附属关系”：【]}】，“成员”：“250”，“在线发布”：{“日期段”：[[2014,4,17]]}，“参考”：[{“键”：“R1”，“doi-asserted-by”：“crossref”，“unstructured”：“Ambainis A.，Nayak A.，Ta-Shma A.和Vazirani U.，密集量子编码和量子自动机。J.ACM49（2002）496\u2013511.”，“doi”：“10.1145\/581773”}，{“key”：“R2”，“非结构化”：“Ambainis A.，概率有限自动机与确定性有限自动机的复杂性，国际算法与计算研讨会论文集（ISAAC96）。Lect.Notes Compute.Sci.1178（1996）233\u2013239.”}，{“key”：“R3”，“非结构化”：“Ambainis A.和Watrous J.，量子和经典状态的双向有限自动机。理论。计算科学。287（2002）299\u2013311.”}，{“键”：“R4”，“非结构化”：“A.Ambaini斯和R。Freivalds，《单向量子有限自动机：优点、缺点和推广》，摘自：Proc。第39届计算机科学基础年度研讨会。IEEE Computer Society Press，Palo Alfo，California，USA（1998）332\u2013341.“}，{”key“：”R5“，”doi-asserted-by“：”crossref“，”unstructured“：”Ambainis A.和Nahimovs N.，《量子自动机的改进构造》Theoret.Compute.Sci.410（2009）1916\u20131922.“，”doi“：”10.1016\/j.tcs.2009.01.027“}”，{“key”：“R6”，“unstructure”：“”Ambainis A.和Yakaryilmaz A.，精确量子自动机对承诺问题的优越性。通知。过程。Lett.112（2012）289\u2013291.“}，{“key”：“R7”，“doi-asserted-by”：“crossref”，“unstructured”：“Bertoni A.，Mereghetti C.和Palano B.，识别某些正则语言的小型量子自动机。Theoret.Compute.Sci.340Bertoni A.、Mereghetti C.和Palano b.分析量子自动机的一些正式工具。理论。计算。Sci.356（2006）14\u201325.“}，{“key”：“R9”，“doi-asserted-by”：“crossref”，“unstructured”：“Birget J.C.，有限状态器件的状态复杂性，状态压缩性和不可压缩性。Math.Systems Theory26（1993）237\u2013269.”，“doi”：“10.1007”\/BF01371727Brodsky A.和Pippenger N.，单向量子有限自动机的特征。SIAM J.Compute.31（2002）1456\u20131478.“}，{“key”：“R11”，“doi-asserted-by”：“crossref”，“unstructured”：“H.Buhrman，R.Cleve和A.Wigderson，《量子与经典通信和计算》，第30届ACM理论计算研讨会（1998）第63\u201368页，”，“doi”：“10.1145\/27698.276713”}，“key“：“R12”，“非结构化”：“Buhrman H.、Cleve R.、Massar S.和de Wolf R.，非局部性和通信复杂性。修订版Mod。Phys.82（2010）665\u2013698“}，{“key”：“R13”，“unstructured”：“Chrobak M.，Finite Automata and Unary Languages.Theoret.Compute.Sci.47（1986）149\u2013158.”}，“key“：”R14“，”unstructure“：”Dwork C.and Stockmeyer L.，双向概率有限状态自动机的时间复杂性缺口。SIAM J.Compute.19（1990）1011\u20131023.”}Freivalds R.，关于概率有限自动机确定结果中状态数的增长。自动控制计算。Sc.3（1982）39\u201342.“}，{“key”：“R16”，“doi-asserted-by”：“crossref”，“unstructured”：“Freivalds R.，有限概率自动机的非构造方法。国际J.Found.Comput.Sci.19（2008）565\u2013580.”，《doi》：“10.1142\/S0129054108005826”}Freivalds R.、Ozols M.和Mancinska L.，混合态量子自动机的改进构造。理论。计算。Sci.410（2009）1923\u20131931.”，“DOI”：“10.1016\/j.tcs.2009.01.028”}，{“key”：“R18”，“非结构化”：“W.Feller，概率论及其应用导论，第一卷，Wiley，纽约，1967。”}，{“key”：“R19”，“非结构化”：“j.Gruska，量子计算。McGraw-Hill，伦敦（1999）。”}，{“key”：“R20”，“非结构化”：“Gruska J.，量子计算中的描述复杂性问题。J.Automata Languages Combinatorics5（2000）191\u2013218。“}，{“key”：“R21”，“unstructured”：“J.Gruska，D.W.Qiu，S.G.Zheng，承诺问题的通信复杂性及其在有限自动机中的应用，arXiv:1309.7739（2013）。乌尔曼，自动机理论、语言和计算导论。Addision-Wesley，纽约，1979。“}，{”key“：”R23“，”doi-asserted-by“：”crossref“，”unstructured“：”G.A.Kiraz，《稀疏Finite-State传感器的压缩存储》，CIAA Proc.，Lect.Notes Compute.Sci.（2001）109\u2013121.第2214卷。“，”doi“：”10.1007\/3-540-45526-4_11“}”，{“key”：“R24”，“unstructure”：“H。克劳克，《量子和概率通信：拉斯维加斯和单向协议》。程序。第32届STOC（2000）644\u2013651.“}，{“key”：“R25”，“unstructured”：“Kushilevitz E.，通信复杂性.Adv.Comput.44（1997）331\u2013360.”}，“key“：”R26“，”unstructure“：”A.Kondacs和J.Watrous，《论量子有限状态自动机的威力》，第38届IEEE Annal.Sympos.Found.of Compute.Sci.（1997）66\u201375doi-asserted-by“：”crossref“，”unstructured“：”F.Le Gall，量子和经典在线空间复杂性的指数分离，inProc。SPAA\u201906（2006）67\u201373.“，“DOI”：“10.1145\/1148109.119”}，{“key”：“R28”，“DOI-asserted-by”：“crossref”，“unstructured”：“Liu G.，Martin-Vide C.，Salomaa A.和Yu S.，基本操作与反转相结合的状态复杂性，Inf.Compute.206Mereghetti C.和Pighizini G.，双向自动机模拟和一元语言。J.Automata，Languages and Combinatics5（2000）287\u2013300。“}，{”key“：”R30“，”unstructured“：”Mereghetti C.，Palano B.和Pighizini G.，《关于确定性、非确定性、概率性和量子有限自动机简洁性的注记》Mereghetti C.和Palano B.，关于具有周期行为的单向量子有限自动机的大小。RAIRO:ITA36（2002）277\u2013291.“}，{“key”：“R32”，“unstructured”：“Milani M.和Pighizini G.，用确定性自动机模拟一元概率自动机的紧界，J.自动机，语言与组合学6（2001）481\u2013492.”}，}，“key“：”R33“非结构化”：“马特乌萨·P、邱德伟和李丽珍，关于概率自动机和量子自动机最小化的复杂性。通知。Comput.218（2012）36\u201353.“｝，｛“key”：“R34”，“doi断言者”：“crossref”，“非结构化”：“Moore C.和Crutchfield J.P.，量子自动机和量子语法。Theoret.Comput.Sci.237（2000）275\u2013306.”，“doi”：“10.1016\/S0304-3975（98）00191-1”｝，｛“key”：“R35”，“非结构化”：“A。Paz，概率自动机导论。纽约学术出版社（1971年）。”}，{“key”：“R36”，“doi asserted by”：“crossref”，“nonstructured”：“D.W.Qiu，关于量子态和经典态的双向有限自动机的一些观测，ICIC 2008。在Lect第5226卷中。注释计算。科学。（2008）1\u20138.“，”DOI“：”10.1007\/978-3-540-87442-3_1“}，{”key“：”R37“，”unstructured“：”Rabin M.O.和Scott D.，有限自动机及其决策问题。IBM J.Research Devel.3（1959）115\u2013125.“}”，{“key”：“R38”，“unstructure”：“M.A.Nielsen和I.L。庄，量子计算与量子信息。剑桥大学出版社，剑桥，2000.“}，{“key”：“R39”，“doi-asserted-by”：“crossref”，“unstructured”：“D.W.Qiu，L.Z.Li，P.Mateus和J.Gruska，量子有限自动机，基于有限状态的模型和应用的CRC手册。J.C.Wang编辑。CRC出版社（2012）113\u2013144.”，“doi”：“10.1201\/b13055-7”}，}，“key“：”R40“，”doi-assert-by“：”crossref“，”unstructured“：”A.Salomaa，关于自动机中表示的事件的可约性。《费尼科科学院年鉴》。第一卷数学A辑。（1964）353.“，”DOI“：”10.5186\/aasfm.1964.339“}，{”key“：”R41“，”unstructured“：”Yu S.，Zhuang Q.和Salomaa K.正则语言上一些基本操作的状态复杂性.理论.计算科学.125（1994）315\u2013328.“}”，{“key”：“R42”，“unstructure”：“Yu S..，状态复杂性：近期结果和开放问题.基础信息学64（2005）471\u2013480.“}，{”key“：”R43“，”doi-asserted-by“：”crossref“，”unstructured“：”Yakaryilmaz A.和Cem-Say A.C.，小空间边界的无边界错误量子计算，Inform.Comput.209（2011）873\u2013892.“，”doi“：”10.1016\/j.ic.2011.01.008“}Yakaryilmaz A.和Cem-Say A.C.，双向概率和量子有限自动机的简洁性。离散数学。理论。计算。Sc.12（2010）19\u201340.“}，{“key”：“R45”，“doi-asserted-by”：“crossref”，“unstructured”：“S.G.Zheng，D.W.Qiu，L.Z.Li和J.Gruska，量子和经典状态的单向有限自动机，Lect.Notes Compute.Sci.第7300卷，编辑：H.Bordihn，M.Kutrib，and B.Truthe（2012）273\u2013290.”，“doi”：“10.1007\/978-3642-31644-9_19”}，}“key”：“R46”，“doi-asserted-by“：”crossref“，”unstructured“：”Zheng S.G.，Qiu D.W.，Gruska J.，Li L.Z.和Mateus P.，量子态和经典态双向有限自动机的状态简洁性，Theoret。计算。Sci.499（2013）98\u2013112.“，”DOI“：”10.1016\/j.tcs.2013.06.005“}，{“key”：“R47”，“DOI-asserted-by”：“crossref”，“unstructured”：“Zheng S.G.，Qiu D.W.和Li L.Z.，具有量子和经典状态的双向有限自动机识别的一些语言。国际期刊基金会计算科学.23（2012）1117\u2013112。”，“DOI”：“10.1142\/S0129054112500141”}，“key“：”R48“，“非结构化”：“S.G.Zheng、J.Gruska和D.W.Qiu。用半量子双向有限自动机建模的带有验证器的交互式证明系统的威力。arXiv:1304.3876（2013）。“}]，”container-title“：[”RAIRO-理论信息学与应用“]，”original-title”：[]，”link“：[{”URL“：”http://www.RAIRO-ita.org\/10.1051\/ita\/201403\/pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]“deposed”：{“date-parts”：[2019,8,9]]，“date-time”：“2019-08-09 T12:27:50Z“，”timestamp“：1565353670000}，”score“：1，”resource“：{“primary”：{”URL“：”http://www.rairo-ita.org\/10.1051\/ita\/2014003“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2014,4]]}，，“references-count”：48，“journal-issue”：“{”issue“：”2“}”，“alternative-id”：[“ita130034”]，“URL”：“http:\”\\/dx.doi.org\/10.1051\/ita\/2014003“，”关系“：{}，”ISSN“：[”0988-3754“，”1290-385X“]，”issn-type“：[{”value“：”0988-375%“，”type“:”print“}，{”value“：”1290-38.5X“，”类型“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[[2014,4]]}}}