基于量子逻辑的确定型正则语言的代数性质.pdfVIP

基于量子逻辑的确定型正则语言的代数性质 李平1，李永明1，2 -陕西师范大学数学与信息科学学院，陕西西安710062) 2陕西师范大学计算机科学学院，陕西西安710062) 1leepin91979@yahoo．tom．cn 摘要：本文给出了基于量子逻辑的确定型正则语言 正则语言)的代数性质，按文献[15】的方法f．正则 的定义，证明了其在正则运算下是封闭的；并给出了 语言在并运算下是封闭的，而在交、连接、克林闭包 基于量子逻辑的确定型正则语言的代数刻画，进一 运算下都不封闭；但文献[15]没有进一步讨论确定 步讨论了其在更广泛的代数运算一Df一代换、EDI一型量子自动机所接受的语言(Df一正则语言)在上述 代换、剧一代换下的封闭性． 运算下的封闭性问题．实际上，Dz一正则语言在正则 关键词：量子逻辑；有穷自动机；Df．正则语言；D2一 运算下是封闭的，并且有其等价的代数刻画．进一步， 正则代换下 可以讨论D2一正则语言在Df一正则代换下的封闭性 问题． §1 引言 §2 Dl一正则语言在正则运算下的封闭性 自动机理论自提出以来，在实际中得到了广泛 首先回顾一下关于量子逻辑的一些基本内容．量 应用，并在理论上不断完善与发展．由经典有穷自 子逻辑是指真值为完备正交模格l的逻辑，也称为正 动机，下推自动机，发展到图灵机(是计算机的模 交模格值逻辑115】．完备的正交模格是七元组f= 型)([3])，后来又陆续提出模糊自动机((8，9，111)，格值 L，≤，A，V，上，0，1，其中 自动机的概念([5】)，这些计算模型的逻辑基础都是 ’经典逻辑． 是最大元和最小元，S是偏序，对x∈L，VX，AX分 量子计算源于物理与计算之间的联系(【6】)，由 别表示义的上确界与下确界． Shor于1994年发现了在量子计算机上进行大数分 (2)一元运算上是￡上的正交补，满足如下条 解的多项式时间算法，以及Gover发现了平方根时间 的量子搜索算法之后，量子计算日益受到人们的关注 件：Va，b∈L A V 与重视，量子计算模型便是其中的一个很重要研究 (i)aa上=0，aa上=1； 课题．由应明生等建立的基于量子逻辑的自动机(也 (ii)a上上=口； 称量子自动机)理论(【1，15])是量子计算模型方面的 (iii)a≤b蕴含b』≤a上． 一个重要研究方向．目前已得到了与经典逻辑意义 很容易看出，条件(iii)与DeMorgan对偶律是 下不同的结果，并试图揭示量子计算的逻辑基础． 等价的：*Ca，b∈L， A V b上． 关于自动机所接受语言的代数性质一直是自动 (iii’)(ob)上=a上Vb上，(a6)上=a上A 一个正交模格就是满足如下正交模律的正交格： 机理论的一个重要研究课题．文献(