公共文化服务平台

共 1 条记录，以下是 1-1

全选清除导出

排序方式：

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

全选清除导出

共1页<1>

国家自然科学基金(90303024)