基于unsharp量子逻辑的自动机理论

现有的量子自动机理论主要是基于sharp量子逻辑的。本项目旨在研究基于unsharp量子逻辑的自动机理论。（1）以面向unsharp量子逻辑的有效代数与MV代数为重点，通过研究它们的语义模型，初步建立有效结构上的量子自动机理论。（2）与经典自动机理论对比，分析非矛盾律和排中律的缺失对有效结构量子自动机的影响。分析各种有效结构的数学性质在量子自动机上的反映，以及它们和量子系统的物理性质的对应关系。（3）研究不同的unsharp定义组成的体系以及相应有效结构组成的体系，考虑它们对量子自动机结构和特性的影响和它们自身的相互影响。（4）分析unsharp量子逻辑上的自动机理论与sharp量子逻辑上的自动机理论的区别和联系。（5）从对数学性质的分析和量子力学的特性出发，寻找新的unsharp代数结构并研究相应的量子自动机。