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

• 作者: 张丽霞 王拥兵 雷红轩
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 量子逻辑 正交模格 量子确定型正则文法 量子确定正则语言
• 年，卷（期）: 2013,（9）
• 所属期刊栏目: 高性能计算
• 页码范围: 45-50
• 页数: 6页
• 分类号: TP301
• 字数: 5424字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2013.09.007

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	雷红轩	内江师范学院数学与信息科学学院	22	103	7.0	9.0
2	王拥兵	安庆师范学院数学与计算科学学院	14	20	2.0	4.0
3	张丽霞	安庆师范学院数学与计算科学学院	5	2	1.0	1.0