基于量子逻辑的下推自动机与上下文无关文法

• 作者: 李永明 韩召伟
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 量子逻辑 正交模格 量子下推自动机 量子上下文无关语言 量子上下文无关文法
• 年，卷（期）: 2010,（9）
• 页码范围: 2107-2117
• 分类号: TP301
• 字数: 11650字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2010.03855

摘要

给出基于量子逻辑的下推自动机(l-VPDA)的概念,提出广义的子集构造方法,进而证明了一般的l-VPDA与状态转移为分明函数且具有量子终态的l-VPDA的等价性.利用此等价性,给出了量子上下文无关语言的代数刻画与层次刻画,并籍此证明了量子上下文无关语言关于正则运算的封闭性.最后,说明了量子下推自动机和量子上下文无关文法(l-VCFG)的等价性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李永明	陕西师范大学数学与信息科学学院	165	505	12.0	16.0
2	韩召伟	陕西师范大学计算机科学学院	11	40	2.0	5.0