×
克里斯托弗·摩尔;克拉奇菲尔德，J.P。

量子自动机和量子语法。 （英语） Zbl 0939.68037号

西奥。计算。科学。 237，编号1-2，275-306（2000）.
摘要：为了研究量子计算，将结构从语言和自动机理论推广到量子情况可能会有帮助。为此，我们提出了有限状态自动机和下推自动机的量子版本，以及规则文法和上下文无关文法。我们找到了几个经典定理的类比，包括泵浦引理、闭包性质、有理生成函数和代数生成函数以及Greibach范式。我们还证明了量子上下文无关语言不是上下文无关的，因此（text{QCFL}neq\text{CFL}\）。

引用于9评论
引用于124文件

MSC公司：

2005年第68季度 计算模型（图灵机等）（MSC2010）
81页68 量子计算
2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等）
2012年第68季度 语法和重写系统

关键词：

量子计算;语法;自动机;复杂性类
PDF格式BibTeX公司 XML格式引用
\textit{C.Moore}和\textit{J.P.Crutchfield}，Theor。计算。科学。237，编号1--2，275--306（2000；Zbl 0939.68037）
全文： 内政部 arXiv公司

参考文献：

[1] Adleman，L.M.，组合问题解的分子计算，科学，2661021-1023（1994）
[2] P.Benioff，无能量耗散的图灵机器的量子力学哈密顿模型，物理学。修订稿。48（1982）1581-1585和J.Statist。物理学。29 (1982) 515-546.; P.Benioff，无能量耗散的图灵机器的量子力学哈密顿模型，物理学。修订稿。48（1982）1581-1585和J.Statist。物理学。29 (1982) 515-546. ·Zbl 0514.68055号
[3] J.Berstel，《转喻和无语境语言》，Teubner Studienbücher出版社，柏林，1978年。；J.Berstel，《转喻和无语境语言》，Teubner Studienbücher出版社，柏林，1978年。
[4] 布鲁姆，L。；舒布，M。；Smale，S.，《实数上的计算和复杂性理论：NP-完备性、递归函数和通用机器》，Bull。阿默尔。数学。Soc.，21，1-46（1989）·Zbl 0681.03020号
[5] R.Bukharaev，关于概率自动机中事件的可表示性，Probab。方法。网络。V Kazan（1967）7-20（俄语）。；R.Bukharaev，关于概率自动机中事件的可表示性，Probab。方法。网络。V Kazan（1967）7-20（俄语）。
[6] Cherubini，A。；Citrini，C。；南卡罗来纳州雷吉兹。；Mandrioli，D.，QRT FIFO自动机，第一宽文法及其关系，Theoret。计算。科学。，85, 171-203 (1991) ·Zbl 0745.68069号
[7] Cirac，J.I。；Zoller，P.，《冷囚禁离子的量子计算》，Phys。修订稿。，74, 4091-4094 (1995)
[8] Crutchfield，J.P.，《涌现的结石：计算、动力学和归纳》，Physica D，75，11-54（1994）·Zbl 0860.68046号
[9] 克拉奇菲尔德，J.P。；Mitchell，M.，《紧急计算的演变》，Proc。国家。阿卡德。科学。，92, 10742-10746 (1995) ·Zbl 0960.68639号
[10] Deutsch，D.，《量子理论、丘吉尔原理和通用量子计算机》，Proc。R.Soc.伦敦Ser。A、 400、97-117（1985）·Zbl 0900.81019号
[11] C.Dürr，M.Santha，酉线性量子元胞自动机的决策过程，Proc。第三十七交响曲。《计算机科学基础》，1996年，第38-45页。；C.Dürr，M.Santha，酉线性量子细胞自动机的决策过程，Proc。第三十七交响曲。《计算机科学基础》，1996年，第38-45页。
[12] C.A.Ellis，概率语言和自动机，博士论文，伊利诺伊大学，乌尔班纳分校，1969年。；C.A.Ellis，概率语言和自动机，博士论文，伊利诺伊大学，乌尔班纳分校，1969年。
[13] Flajolet，P.，《无语境语言的分析模型和歧义性》，Theoret。计算。科学。，49, 283-309 (1987) ·Zbl 0612.68069号
[14] Gershenfeld，N.A。；Chuang，I.L.，体自旋共振量子计算，科学，275350-356（1997）·Zbl 1226.81047号
[15] Giles，R.，《从Wilson回路重建规范电位》，Phys。D版，24、8、2160-2168（1981）
[16] 霍普克罗夫特，J.E。；Ullman，J.D.，《自动机理论、语言和计算导论》（1979），Addison-Wesley:Addison-Whesley New York·Zbl 0196.01701号
[17] A.Kondacs，J.Watrous，《量子有限状态自动机的威力》，Proc。第38交响曲。《计算机科学基础》，1997年，即将出版。；A.Kondacs，J.Watrous，《量子有限状态自动机的威力》，Proc。第38交响曲。《计算机科学基础》，1997年，即将出版。
[18] W.Kuich，A.Salomaa，《半环、自动机、语言》，EATCS理论计算机科学专著，第5卷。施普林格，柏林，1986年。；W.Kuich，A.Salomaa，《半环、自动机、语言》，EATCS理论计算机科学专著，第5卷。施普林格，柏林，1986年·Zbl 0582.68002号
[19] Lloyd，S.，《一种可能实现的量子计算机》，《科学》，2611569-1571（1993）
[20] I.Macarie，随机语言的闭包性质，罗切斯特大学计算机科学技术报告4411993。；I.Macarie，随机语言的闭包性质，罗切斯特大学计算机科学技术报告4411993。
[21] C.摩尔，动力学系统中的不可预测性和不可判定性，物理学。修订稿。64（1990）2354-2357和非线性4（1991）199-230。；C.摩尔，动力学系统中的不可预测性和不可判定性，物理学。修订稿。64（1990）2354-2357和非线性4（1991）199-230·Zbl 1050.37510号
[22] Moore，C.，《动态识别器：模拟计算机的实时语言识别》，Theoret。计算。科学。，20199-136（1998年）·Zbl 0902.68098号
[23] Paz，A.，《概率自动机导论》（1971），学术出版社：纽约学术出版社·Zbl 0234.94055号
[24] M.O.拉宾，概率自动机，Inform。控制，6230-245（1963）·Zbl 0182.33602号
[25] 《暗黑破坏神》，个人通讯。；《暗黑破坏神》，个人交流。
[26] Rosenberg，A.L.，实时可定义语言，J.ACM，14645-662（1967）·Zbl 0153.00902号
[27] Sakakibara，Y。；布朗，M。；Hughey，R。；米安，I.S。；Sjolander，K。；安德伍德，R.C。；Haussler，D.，使用随机无上下文文法进行RNA建模的最新方法，（Crochemore，M.；Gusfield，D.，组合模式匹配，第五届年度交响乐团（1994），Springer:Springer Berlin），289-306
[28] Searls，D.B.，《DNA语言学》，《美国科学家》，80，579-591（1992）
[29] P.W.Shor，量子计算算法：离散对数和因子分解，Proc。第35交响曲。《计算机科学基础》，1994年，第124-134页。；P.W.Shor，量子计算算法：离散对数和因子分解，Proc。第35交响曲。《计算机科学基础》，1994年，第124-134页。
[30] P.W.Shor，容错量子计算，Proc。第三十七交响曲。《计算机科学基础》，1996年，第56-65页。；P.W.Shor，容错量子计算，Proc。第三十七交响曲。《计算机科学基础》，1996年，第56-65页。
[31] Siegelmann，H。；桑塔格，E.D.，通过神经网络进行模拟计算，定理。计算。科学。，131, 331-360 (1994) ·Zbl 0822.68029号
[32] Siegelmann，H。；Sontag，E.D。；Giles，L.，《神经网络语言识别的复杂性》，（van Leeuwen，J.，《算法、软件、架构》（1992），北荷兰：北荷兰阿姆斯特丹），329-335
[33] Steane，A.M.，《主动稳定、量子计算和量子态合成》，物理学。修订稿。，78, 2252-2255 (1997)
[34] 汤森，J.S.，《量子力学的现代方法》（1992），麦格劳-希尔：麦格劳–希尔纽约
[35] Turakainen，P.，《论随机语言》，Inform。控制，12304-313（1968）·兹伯利0214.02101
[36] D.R.Upper，《隐马尔可夫模型的理论和算法，以及广义隐马尔可夫模型》，加州大学伯克利分校数学系博士论文，1997年。；D.R.Upper，《隐马尔可夫模型的理论和算法，以及广义隐马尔可夫模型》，加州大学伯克利分校数学系博士论文，1997年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。