基于量子逻辑的下推自动机的代数刻画

• 作者: 李永明 韩召伟
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 量子逻辑 正交模格 量子下推自动机 量子上下文无关语言 代数刻画
• 年，卷（期）: 2008,（11）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 72-74
• 页数: 3页
• 分类号: TP301.1|O153.1
• 字数: 4122字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2008.11.022

摘要

首先,本文提出量子下推自动机(简记为L-VPDA)的概念,从代数角度出发详细研究了此类自动机的性质,同时建立此类自动机的代数刻画,即利用量子状态构造证明了任意L-VPDA与状态转移为经典函数且具有量子终状态的L-VPDA问的相互等价性;其次详细研究了量子上下文无关语言的代数刻画以及对于正则运算的封闭性.

作者信息

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