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

摘要：

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

关键词：量子计算、量子逻辑、正交模格、自动机

所属期刊栏目：37

分类号：B81(逻辑学(论理学))

资助基金：国家自然科学基金90303024;60573006;高等学校博士学科点专项科研项目20050558015;广东省自然科学基金020146;031541

在线出版日期：2007-10-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共15页

页码：723-737