基于量子逻辑的确定型正则文法
【出 处】:
【作 者】:
王拥兵
[1] ;
张丽霞
[1] ;
雷红轩
[2]
【摘 要】
摘要:基于量子逻辑的文法理论是量子计算模型的一个重要研究方向。给出了基于量子逻辑的确定型正则文法的概念,证明了基于量子逻辑的确定型aY-.~4文法与基于量子逻辑的确定型自动机的等价性。利用此等价性,给出了量子确定正则语言的代数刻画和层次刻画,并得到量子确定正则语言关于正则运算的封闭性。
相关热词搜索: 量子逻辑 正交模格 量子确定型正则文法 量子确定正则语言 Key words: quantum logic orthomodular lattice orthomodular lattice-valued deterministic regulargrammas orthomodular lattice-valued deterministic regular languages