【摘 要】
：
基于量子逻辑的自动机理论是量子计算模型的一个重要研究方向.该文研究了基于量子逻辑的图灵机(简称量子图灵机)及其一些变形,给出了包括非确定型量子图灵机l-VTM,确定型量子
【机 构】
：
陕西师范大学计算机科学学院,陕西师范大学数学与信息科学学院
【基金项目】
：
国家自然科学基金(60873119);教育部高等学校博士点基金(200807180005)资助
论文部分内容阅读
基于量子逻辑的自动机理论是量子计算模型的一个重要研究方向.该文研究了基于量子逻辑的图灵机(简称量子图灵机)及其一些变形,给出了包括非确定型量子图灵机l-VTM,确定型量子图灵机l-VDTM以及相应类型的多带量子图灵机,并引入量子图灵机基于深度优先与宽度优先识别语言的两种不同定义方式,证明了这两种定义方式在量子逻辑意义下是不等价的.进一步证明了l-VTM、l-VDTM与相应类型的多带量子图灵机之间的等价性.其次,给出了量子递归可枚举语言及量子递归语言的定义,并给出了二者的层次刻画,证明了l-VTM与l-VDTM不等价,但两者作为量子递归语言的识别器是等价的.最后,文中讨论了基于量子逻辑的通用图灵机的存在性问题,给出了一套合理编码系统,证明了基于量子逻辑的通用图灵机在其所取值的正交模格无限时不存在,而在其所取值的正交模格有限时是存在的.
其他文献
<正> 我国刑法对犯罪预备与未遂的区别关键是看犯罪行为是否已经“着手”。要正确区分强奸预备与未遂的界限,就应正确理解和把握该罪“着手”的涵义。“着手”体现了主客观统
随着经济的迅猛发展,竞争再也不仅仅是企业与企业之间的竞争,而是供应链与供应链之间的比拼。本文旨在以优衣库的供应链模式为例,分析优势与劣势,指出企业发展的合理供应链模
目的探讨自我超越思维架构下的护理策略对鼻咽癌患者希望水平、自我效能和疾病接受度的影响,以改善其生活质量。方法便利抽样选取2015年9月至2018年6月泉州市第一医院耳鼻喉
现阶段,我国安全生产的管理工作趋于复杂化,对于遏制重特大事故与控制削弱潜在安全风险的目标造成新的挑战。目前大多数的风险管理工作主要还是依靠人力,通过相关专业人员的
飞机是一个非常复杂的系统,它能够在空中持续保持适航状态必须依靠随时维修,如果航空飞机出现了什么不正常的现象,则必须要专业的技术人员对相关现象就行评估、判断,然后再将
本文运用我国居民及资本市场自身的特点,结合当前的经济形势,对股票溢价水平进行了研究与计量分析,这对我国证券市场的不断健康发展有着重要的意义。本文首先综述了国内外对
家具作为生活必需品在人们生活中扮演着重要的角色,随着物质条件的改善,人们对家具要求不再仅注重功能,而且十分关注精神需求,这就要求家具产品研发能关注到消费者感性需求层
作为我国基层协商民主的一种有效实践形式,参与式预算在中国特色社会主义政治发展进程中合乎逻辑地产生并不断发展起来。近年来,各地在积极试点参与式预算过程中,逐渐形成了