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

摘要：

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

关键词： 量子逻辑 正交模格 量子下推自动机 代数刻画 正则运算

作者: 韩召伟 李永明

作者单位: 陕西师范大学数学与信息科学学院,陕西,西安,710062;陕西师范大学计算机科学学院,陕西,西安,710062 陕西师范大学计算机科学学院,陕西,西安,710062

会议类型: 国内会议

会议名称: 2008年全国理论计算机科学学术年会

会议地点: 西安

会议语种:中文

页码: 72-74

在线出版日期: 2008-09-19（万方平台首次上网日期，不代表论文的发表时间）