线上期刊服务咨询,发表咨询:400-808-1701 订阅咨询:400-808-1721

基于量子逻辑的确定型正则文法

王拥兵 张丽霞 雷红轩 计算机工程与科学 2013年第09期

摘要:摘要:基于量子逻辑的文法理论是量子计算模型的一个重要研究方向。给出了基于量子逻辑的确定型正则文法的概念,证明了基于量子逻辑的确定型aY-.~4文法与基于量子逻辑的确定型自动机的等价性。利用此等价性,给出了量子确定正则语言的代数刻画和层次刻画,并得到量子确定正则语言关于正则运算的封闭性。

关键词:量子逻辑正交模格量子确定型正则文法量子确定正则语言

单位:安庆师范学院数学与计算科学学院 安徽安庆246013 内江师范学院数学与信息科学学院 四川内江641112

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

计算机工程与科学

北大期刊

¥624.00

关注 46人评论|5人关注