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

中国科学E辑：信息科学 2007年第37卷第6期：723—737 中国科学杂志社 http：／／www．scichina．com SCIENCEINCHINAPRESS 基于量子逻辑的自动机理论的一些注记 邱道文+ (中山大学计算机科学系，广州510275) 摘要 主要结果是：1)讨论了正交模格值自动机的几个基本运算(连接、Kleene 闭包、同态和补)；2)由于讨论连接、同态运算和以往研究正交模格值自动机的一 些基本问题时都基于蕴涵算子满足一个条件，所以详细讨论了该条件，并证明了 正交模格中相对合理的五个蕴涵算子都不满足该条件，而且证明了其中一个算子 和source算子及子机的基本性质及它们之间的关系；4)给出了一个例子，从而说 明了以前所得到的一些否定性结果在一些典型的正交模格值自动机中依然可能 成立． 关键词 量子计算量子逻辑正交模格 自动机 量子计算的思想源于物理与计算之间的联系【1’2】．我们简述其历史背景，有