• 几类基于量子逻辑的自动机的代数及逻辑刻画

    几类基于量子逻辑的自动机的代数及逻辑刻画

    论文摘要量子计算的思想源于物理与计算之间的联系.由于可逆性是量子物理的一个重要特征,所以该问题可追溯到Bennett于1973年证明了任意的Turing机都能被可逆的Turin...
  • 量子自动机的乘积研究

    量子自动机的乘积研究

    论文摘要本文主要研究了基于量子态的量子自动机和基于量子逻辑的l-值自动机的乘积及相关的性质。论文分为四个章节,包括以下内容:我们给出了基于量子态的量子自动机的乘积的几种形式,在...