CSpace  > 中国科学院计算技术研究所期刊论文  > 英文
Computing power of Turing machines in the framework of unsharp quantum logic
Shang, Yun1,2; Lu, Xian3,4; Lu, Raqian1,2,5
2015-09-20
发表期刊THEORETICAL COMPUTER SCIENCE
ISSN0304-3975
卷号598页码:2-14
摘要We present recursion theoretical characterizations of the computational power of Turing machines in the framework of unsharp quantum logic. For unsharp quantum logic, let a lattice ordered quantum multiple valued (QMV) algebra be its truth value lattice. When lattice ordered QMV algebras satisfy a locally finite condition (that is, every non-zero element has a finite order) and its meet operation, A, is computable, we prove that Sigma(0)(1) boolean OR Pi(0)(1) subset of L-d(T) (epsilon, Sigma) (or L-W(T) (epsilon,Sigma)) subset of Pi(0)(2), where L-d(T) (epsilon, Sigma) (respectively L-W(T) (epsilon, Sigma)) denotes the class of languages accepted by these Turing machines in the depth-first method (respectively the width-first method). For sharp quantum logic, similar results are obtained for a general orthomodular truth value lattice. (C) 2014 Elsevier B.V. All rights reserved.
关键词Turing machines Unsharp quantum logic Computational power
DOI10.1016/j.tcs.2014.12.015
收录类别SCI
语种英语
资助项目NSFC[61472412] ; NSFC[61073023] ; National Center for Mathematics and Interdisciplinary Sciences, CAS
WOS研究方向Computer Science
WOS类目Computer Science, Theory & Methods
WOS记录号WOS:000361856400002
出版者ELSEVIER SCIENCE BV
引用统计
被引频次:3[WOS]   [WOS记录]     [WOS相关记录]
文献类型期刊论文
条目标识符http://119.78.100.204/handle/2XEOYT63/9306
专题中国科学院计算技术研究所期刊论文_英文
通讯作者Shang, Yun
作者单位1.Chinese Acad Sci, AMSS, Inst Math, Beijing 100190, Peoples R China
2.Chinese Acad Sci, AMSS, NCMIS, Beijing 100190, Peoples R China
3.Tsinghua Univ, State Key Lab Lowdimens Quantum Phys, Beijing, Peoples R China
4.Tsinghua Univ, Dept Phys, Beijing, Peoples R China
5.Chinese Acad Sci, Inst Comp Technol, CAS Key Lab IIP, Beijing 100190, Peoples R China
推荐引用方式
GB/T 7714
Shang, Yun,Lu, Xian,Lu, Raqian. Computing power of Turing machines in the framework of unsharp quantum logic[J]. THEORETICAL COMPUTER SCIENCE,2015,598:2-14.
APA Shang, Yun,Lu, Xian,&Lu, Raqian.(2015).Computing power of Turing machines in the framework of unsharp quantum logic.THEORETICAL COMPUTER SCIENCE,598,2-14.
MLA Shang, Yun,et al."Computing power of Turing machines in the framework of unsharp quantum logic".THEORETICAL COMPUTER SCIENCE 598(2015):2-14.
条目包含的文件
条目无相关文件。
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[Shang, Yun]的文章
[Lu, Xian]的文章
[Lu, Raqian]的文章
百度学术
百度学术中相似的文章
[Shang, Yun]的文章
[Lu, Xian]的文章
[Lu, Raqian]的文章
必应学术
必应学术中相似的文章
[Shang, Yun]的文章
[Lu, Xian]的文章
[Lu, Raqian]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。