Notes on automata theory based on quantum logic
Notes on automata theory based on quantum logic
复制标题
基于量子逻辑的自动机理论笔记
DOI：
10.1007/s11432-007-0020-y
复制
发表时间：
2007-04
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
主要结果如下：（1）它处理了若干基本运算（连接，Kleene闭包，同态，补）;（2）由于讨论正交模格值自动机的一些基本问题时对蕴涵算子所加的一个条件，本文详细地研究了这个条件，发现量子逻辑中相对合理的五个蕴涵算子都不满足这个条件，证明了五个蕴涵中有一个蕴涵满足这一条件当且仅当真值格是布尔代数：（3）进一步讨论了正交模格值后继算子和源算子;（4）给出了一个例子，说明文献中的一些否定结果在一些典型的正交模格值自动机中仍然成立。
The main results are as follows: (1) it deals with a number of basic operations (concatenation, Kleene closure, homomorphism, complement); (2) due to a condition imposed on the implication operator for discussing some basic issues in orthomodular lattice-valued automata, this condition is investigated in detail, and it is discovered that all the relatively reasonable five implication operators in quantum logic do not satisfy this condition, and that one of the five implications satisfies such a condition iff the truth-value lattice is indeed a Boolean algebra; (3) it deals further with orthomodular lattice-valued successor and source operators; (4) an example is provided, implying that some negative results obtained in the literature may still hold in some typical orthomodular lattice-valued automata.
登录
查看更多内容
影响因子：
1.4
作者：
M. Ying
通讯作者：
M. Ying
影响因子：
1.4
作者：
R. Lu;Hong Zheng
通讯作者：
R. Lu;Hong Zheng
DOI：
10.1073/pnas.95.19.11032
发表时间：
1998-09-15
影响因子：
11.1
作者：
Brassard, G;Chuang, I;Monroe, C
通讯作者：
Monroe, C
影响因子：
8.5
作者：
Roman Rietsche;Christian Dremel;Samuel Bosch;Léa Steinacker;Miriam Meckel;J. Leimeister
通讯作者：
Roman Rietsche;Christian Dremel;Samuel Bosch;Léa Steinacker;Miriam Meckel;J. Leimeister
DOI：
10.1145/1274000.1274128
发表时间：
2007-07
期刊：
--
影响因子：
--
作者：
L. Spector
通讯作者：
L. Spector