递归可枚举语言

作品数：3被引量：6H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李平李永明林杏光李立杜欢更多>>
相关机构：陕西师范大学中国人民大学安庆师范大学安庆广播电视大学更多>>
相关期刊：《语言文字应用》《南京理工大学学报》《计算机学报》更多>>
相关基金：国家自然科学基金国家教育部博士点基金安徽省自然科学基金安徽省高校省级自然科学研究项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机学报x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于量子逻辑的图灵机及其通用性被引量：3
《计算机学报》2012年第7期1407-1420,共14页李永明 李平 
国家自然科学基金(60873119);教育部高等学校博士点基金(200807180005)资助
基于量子逻辑的自动机理论是量子计算模型的一个重要研究方向.该文研究了基于量子逻辑的图灵机(简称量子图灵机)及其一些变形,给出了包括非确定型量子图灵机l-VTM,确定型量子图灵机l-VDTM以及相应类型的多带量子图灵机,并引入量子图灵...
关键词：量子逻辑 量子计算 量子图灵机 量子递归可枚举语言 量子递归语言 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部