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

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

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

知网文化
【相似文献】
中国期刊全文数据库 前10条
1 王帮海;;量子逻辑的发展及其理论基础[J];现代计算机(专业版);2009年08期
2 韩召伟;李永明;;基于量子逻辑的下推自动机的代数刻画[J];计算机工程与科学;2008年11期
3 邱道文;;基于量子逻辑的自动机理论的一些注记[J];中国科学(E辑:信息科学);2007年06期
4 郭秀红;;基于量子逻辑的自动机理论的拓扑性质[J];软件学报;2007年06期
5 郭秀红;量子语言的一些性质[J];四川师范大学学报(自然科学版);2005年01期
6 刘增义;量子软件[J];飞碟探索;2005年01期
7 潘平;量子逻辑门及其研究进展[J];贵州大学学报(自然科学版);2005年01期
8 薛飞,杜江峰,周先意,韩荣典;通向通用量子计算机之路[J];物理;2004年08期
9 马雷,陆俭;可控量子计数器的构造[J];量子电子学报;2003年01期
10 邱道文;基于量子逻辑的自动机和文法理论[J];软件学报;2003年01期
中国重要会议论文全文数据库 前1条
1 李平;李永明;;基于量子逻辑的确定型正则语言的代数性质[A];第六届中国不确定系统年会论文集[C];2008年
中国博士学位论文全文数据库 前4条
1 罗来珍;量子逻辑中的收敛理论[D];哈尔滨工业大学;2009年
2 雷强;量子逻辑的内蕴拓扑[D];哈尔滨工业大学;2008年
3 荆武;算子代数和量子逻辑上的映射[D];浙江大学;2003年
4 方建兴;激光驻波场中原子的动力学行为和量子态的隐形传送[D];苏州大学;2003年
中国硕士学位论文全文数据库 前5条
1 吕映洁;正交模格上的代数性质[D];云南师范大学;2006年
2 陈引兰;正交模格的自同构群[D];云南师范大学;2006年
3 韩荣梅;格论中的同余关系[D];内蒙古大学;2006年
4 曾浩;一种量子逻辑系统的应用研究[D];苏州大学;2005年
5 孙天玉;利用离子阱中囚禁离子对进行量子逻辑门操作和量子态的制备[D];湖南大学;2003年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978