不确定性是现实世界普遍存在的现象，而不确定性现象的数学处理是现代科学的重大理论与现实问题。本项目将围绕不确定环境下的计算模型与计算理论展开研究，在格值（模糊）自动机、量子自动机、加权自动机等的定义、性质、构造以及范畴特征与逻辑描述等方面展开研究。拟建立格值自动机的逻辑、代数和判定方面新的理论，提供模糊计算新的方法；解决量子自动机在代数、算法方面有关难点问题,丰富和完善量子计算的逻辑基础的研究；在加权自动机的框架下详细研究各类有穷自动机的性质以及它们之间的关系，建立合适的自动机范畴，利用其他学科的成熟理论给出自动机在范畴层次的分解、简化、构造、组合以及状态极小化新方法与新理论；并致力于该理论成果在不确定环境下的多值模型检测、并发进程等价、离散事件系统分析等方面之应用的联系，以期提供完善的不确定环境下的新型计算模型及其计算理论体系。