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

作　　者：邱道文[1] 

机构地区：[1]中山大学计算机科学系,广州510275

出　　处：《中国科学（E辑）》2007年第6期723-737,共15页Science in China(Series E)

基　　金：国家自然科学基金(批准号:90303024;60573006);教育部高等学校博士学科点专项科研基金(批准号:20050558015);广东省自然科学基金(批准号:020146;031541)

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

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

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构]