基于量子逻辑的自动机理论的一些注记

• 作者: 邱道文
• 来源期刊: 中国科学E辑
• 学科: 哲学
• 关键词: 量子计算 量子逻辑 正交模格 自动机
• 年，卷（期）: 2007,（6）
• 页码范围: 723-737
• 页数: 15页
• 分类号: B81
• 字数: 9135字
• 语种: 中文
• DOI: 10.3321/j.issn:1006-9275.2007.06.001

摘要

主要结果是:1)讨论了正交模格值自动机的几个基本运算(连接、Kleene闭包、同态和补);2)由于讨论连接、同态运算和以往研究正交模格值自动机的一些基本问题时都基于蕴涵算子满足一个条件,所以详细讨论了该条件,并证明了正交模格中相对合理的五个蕴涵算子都不满足该条件,而且证明了其中一个算子满足该条件当且仅当真值格是Boolean代数;3)进一步讨论了正交模格值successor和source算子及子机的基本性质及它们之间的关系;4)给出了一个例子,从而说明了以前所得到的一些否定性结果在一些典型的正交模格值自动机中依然可能成立.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邱道文	中山大学计算机科学系	6	104	5.0	6.0