您的位置： 专家智库 > >

国家自然科学基金(90303024)

作品数：1 被引量：7H指数：1
相关作者：邱道文更多>>
相关机构：中山大学更多>>
发文基金：国家教育部博士点基金国家自然科学基金广东省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇正交模格
  • 1篇注记
  • 1篇自动机
  • 1篇自动机理论
  • 1篇量子
  • 1篇量子计算
  • 1篇量子逻辑
  • 1篇模格

机构

  • 1篇中山大学

作者

  • 1篇邱道文

传媒

  • 1篇中国科学（E...

年份

  • 1篇2007
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于量子逻辑的自动机理论的一些注记被引量：7
2007年
主要结果是:1)讨论了正交模格值自动机的几个基本运算(连接、Kleene闭包、同态和补);2)由于讨论连接、同态运算和以往研究正交模格值自动机的一些基本问题时都基于蕴涵算子满足一个条件,所以详细讨论了该条件,并证明了正交模格中相对合理的五个蕴涵算子都不满足该条件,而且证明了其中一个算子满足该条件当且仅当真值格是Boolean代数;3)进一步讨论了正交模格值successor和source算子及子机的基本性质及它们之间的关系;4)给出了一个例子,从而说明了以前所得到的一些否定性结果在一些典型的正交模格值自动机中依然可能成立.
邱道文
关键词：量子计算量子逻辑正交模格自动机
全选 清除 导出
共1页<1>
聚类工具0