收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

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

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

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 韩召伟;李永明;;基于量子逻辑的下推自动机与上下文无关文法[J];软件学报;2010年09期
2 宋小震;韩召伟;李永明;;量子上下文无关文法的代数性质[J];计算机工程与应用;2011年04期
3 王帮海;;量子逻辑的发展及其理论基础[J];现代计算机(专业版);2009年08期
4 邱道文;;基于量子逻辑的自动机理论的一些注记[J];中国科学(E辑:信息科学);2007年06期
5 Andrew Shields ,侯春风;利用光、反射镜等进行量子逻辑操作[J];世界科学;2003年03期
6 邱道文;基于量子逻辑的自动机和文法理论[J];软件学报;2003年01期
7 郭秀红;;基于量子逻辑的自动机理论的拓扑性质[J];软件学报;2007年06期
8 张登玉,郭萍;光学偏振器的量子逻辑功能[J];激光杂志;2000年05期
9 何洪涛;汤建钢;;基于量子逻辑的l-值正则语言的广义泵引理[J];伊犁师范学院学报(自然科学版);2011年02期
10 李平;李永明;;基于量子逻辑的几类有穷自动机之间的关系[J];工程数学学报;2011年02期
11 刘增义;量子软件[J];飞碟探索;2005年01期
12 ;“量子信息学基础研究”论坛在京举行[J];中国科学基金;1999年06期
13 张登玉;激光的偏振与量子计算中的量子态[J];光电子.激光;2000年05期
14 张登玉;用基本的两位量子逻辑门实现n位量子逻辑门的功能[J];光电子.激光;2001年11期
15 颉永建;李永明;;由可精确测量元控制的弱可换的伪效应代数[J];计算机工程与应用;2008年34期
16 吕洪君;吴天昊;彭斐;解光军;;综合法研究量子可逆逻辑电路[J];量子电子学报;2010年02期
17 张登玉;量子逻辑门中的编码量子位研究[J];光电子.激光;1999年01期
18 张登玉,刘堂昆;量子逻辑门的算符及矩阵表示[J];光电子.激光;1999年03期
19 马雷,陆俭;可控量子计数器的构造[J];量子电子学报;2003年01期
20 薛飞,杜江峰,周先意,韩荣典;通向通用量子计算机之路[J];物理;2004年08期
中国重要会议论文全文数据库 前3条
1 狄尧民;魏海瑞;;采用GCX门的多值量子逻辑线路的合成[A];第十五届全国量子光学学术报告会报告摘要集[C];2012年
2 郭战营;尚晓星;方建兴;王一奇;;运用简化Bell基测量的多粒子隐形传态及其量子逻辑电路[A];教育部中南地区高等学校电子电气基础课教学研究会第二十届学术年会会议论文集(下册)[C];2010年
3 李平;李永明;;基于量子逻辑的确定型正则语言的代数性质[A];第六届中国不确定系统年会论文集[C];2008年
中国博士学位论文全文数据库 前9条
1 韩召伟;几类基于量子逻辑的自动机的代数及逻辑刻画[D];陕西师范大学;2011年
2 荆武;算子代数和量子逻辑上的映射[D];浙江大学;2003年
3 雷强;量子逻辑的内蕴拓扑[D];哈尔滨工业大学;2008年
4 罗来珍;量子逻辑中的收敛理论[D];哈尔滨工业大学;2009年
5 方建兴;激光驻波场中原子的动力学行为和量子态的隐形传送[D];苏州大学;2003年
6 王宇;连续变量量子逻辑操作的实验研究[D];山西大学;2011年
7 林清水;效应代数上几类测度的若干研究[D];哈尔滨工业大学;2010年
8 张淼;囚禁离子和液氦上电子系统的量子态操纵[D];西南交通大学;2010年
9 汪加梅;关于量子熵的若干研究[D];浙江大学;2010年
中国硕士学位论文全文数据库 前10条
1 陈引兰;正交模格的自同构群[D];云南师范大学;2006年
2 曾浩;一种量子逻辑系统的应用研究[D];苏州大学;2005年
3 韩荣梅;格论中的同余关系[D];内蒙古大学;2006年
4 刘军;两类非经典有限自动机的性质与乘积研究[D];四川师范大学;2009年
5 吕映洁;正交模格上的代数性质[D];云南师范大学;2006年
6 冯娜;模糊有限自动机与基于量子逻辑的自动机的一些拓扑性质[D];四川师范大学;2012年
7 孙天玉;利用离子阱中囚禁离子对进行量子逻辑门操作和量子态的制备[D];湖南大学;2003年
8 孟凡宇;量子克隆的逻辑网络及其物理实现研究[D];延边大学;2010年
9 张坤利;效应代数上态与赋值的存在性研究[D];陕西师范大学;2012年
10 杨美蓉;激光作用下囚禁离子在Lamb-Dicke区域精确的量子运动[D];湖南师范大学;2010年
中国重要报纸全文数据库 前4条
1 游雪晴 刘莉;在信息的洪流中淘金[N];科技日报;2004年
2 本报记者 刘霞;住得越高 老得越快[N];科技日报;2010年
3 记者 刘霞;美首次用微波让两个离子发生量子纠缠[N];科技日报;2011年
4 刘霞;美获得单量子点处理信息最低出错率[N];科技日报;2011年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978