几类非经典计算模型及相关问题的研究

本项目建立一类较宽泛的模糊计算模型，特别是系统地建立模糊离散事件系统中的监督控制理论；同时,以一些概率计算模型和模糊计算模型为基础，基于Zadeh倡导的带"词"计算的思想，我们将这些模型的输入从字符串推广到"词"串，并适当考虑它们在概率或模糊离散系统中的应用。我们讨论量子多栈机机器和量子多计数机机器模拟量子Turing机,及有关的计算复杂性问题，然后以量子有限自动机及量子下推自动机为证实者，讨论量子零知识交互式证明系统的计算能力和有关性质；同时探讨量子计算模型的输入是否可以量子化（以往的输入往往是经典的）。通过几种非传统计算模型的研究，发现它们与传统计算方法之间的一些本质差异，及在计算能力上的优越性。由于带"词"计算与量子计算源于不同研究背景的非传统计算，所以我们所建立的带"词"计算的形式模型使几种不同的非经典计算方法相互结合。这也是研究非经典计算的一条新的途径。