收藏本站
《第六届中国不确定系统年会论文集》2008年
收藏 | 手机打开
二维码
手机客户端打开本文

基于量子逻辑的确定型正则语言的代数性质

李平  李永明  
【摘要】:本文给出了基于量子逻辑的确定型正则语言的定义,证明了其在正则运算下是封闭的;并给出了基于量子逻辑的确定型正则语言的代数刻画,进一步讨论了其在更广泛的代数运算—Dl-代换、EDl- 代换、El-代换下的封闭性.

【参考文献】
中国期刊全文数据库 前1条
1 叶瑞芬,沈百英;正则语言的特征性质[J];软件学报;1995年07期
【共引文献】
中国期刊全文数据库 前10条
1 孙万卿;葛亮;;一种基于有穷状态自动机的二维浅海声线追踪方法[J];兵工学报;2007年11期
2 闵兰;陈晓敏;;正则语言的可递归性[J];重庆邮电大学学报(自然科学版);2009年06期
3 盛莉,雷红轩,李永明;格值正则语言的性质[J];纯粹数学与应用数学;2005年01期
4 盛莉;;格值上下文无关文法的范式[J];纯粹数学与应用数学;2010年02期
5 董迎红;刘刚;宋雅娟;;VB上机操作题自动判分程序评分标准的自动生成[J];长春大学学报;2010年04期
6 王明顺;;机器人程序设计中的状态转换方法[J];东北大学学报(自然科学版);2008年02期
7 孟青慧;刘耀军;;加权有限自动机在灰度图像中的应用[J];电脑开发与应用;2011年02期
8 郑光明;蒋贤芳;;实例教学在《编译原理》中的应用[J];电脑知识与技术;2006年08期
9 赵正平;;图灵机及其构造研究[J];电脑知识与技术;2006年26期
10 丁杰;;基于文法规则匹配的自然语言处理系统研究与实现[J];电脑知识与技术;2009年04期
中国重要会议论文全文数据库 前3条
1 彭一凡;陈文;;基于XML的动态数据结构持久化方法之研究[A];促进企业信息化进程——第九届中国Java技术及应用交流大会文集[C];2006年
2 ;A Lattice-Valued Model of Computing with Words[A];Proceedings of 2005 IEEE International Conference on Natural Language Processing and Knowledge Engineering[C];2005年
3 闫继钢;武文忠;李汉文;蒙应杰;是垚;赵雅纳;;基于有限自动机的列车交接系统研究[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年
中国博士学位论文全文数据库 前10条
1 李平;伪半环及其在自动机理论中的应用[D];陕西师范大学;2010年
2 刘朝涛;中文问答系统中的句型理论及其应用研究[D];重庆大学;2010年
3 王子成;DNA计算中的核酸序列设计及应用研究[D];华中科技大学;2009年
4 杜海江;高压无换向器电机及其控制技术研究[D];华北电力大学(河北);2005年
5 高伟;工艺设计信息系统中的知识发现技术研究[D];四川大学;2005年
6 李冬冬;基因组序列标注的算法与理论研究[D];国防科学技术大学;2004年
7 张义荣;基于机器学习的入侵检测技术研究[D];国防科学技术大学;2005年
8 李晓宇;量子信息处理中的纠缠态及其应用[D];中国科学院研究生院(计算技术研究所);2004年
9 李双跃;制造工艺资源建模技术及其在夹具设计支持系统中的应用[D];四川大学;2006年
10 邓小妮;基于模型检验与仿真的C~4ISR系统需求验证方法研究[D];国防科学技术大学;2008年
中国硕士学位论文全文数据库 前10条
1 王廷刚;Petri网表征语言和可达性分析[D];山东科技大学;2010年
2 韩冰;线性时序逻辑在失业保险审计中的应用研究[D];哈尔滨工程大学;2010年
3 杨绿林;基于语义的建筑施工图分析与理解的研究[D];长春工业大学;2010年
4 娄山佑;基于形式语言的建筑施工图分析理解的研究[D];长春工业大学;2010年
5 王新;重新编码后语言和序列的性质[D];华中科技大学;2010年
6 吴静杰;下推格值自动机与模糊系统[D];陕西师范大学;2004年
7 袁宇;基于状态的分布式组件系统集成测试[D];重庆大学;2004年
8 杨卫东;车辆网络中可生存路由协议的研究[D];西安电子科技大学;2005年
9 王海龙;武器装备快速扩散制造单元的理论模型与关键技术研究[D];西北工业大学;2005年
10 汪剑超;高性能Jave SAX解析器的设计和实现[D];中国科学院研究生院(软件研究所);2005年
【相似文献】
中国期刊全文数据库 前10条
1 王泽宇,党建武;有穷自动机在CRC码生成中的应用及CRC码的布尔函数的性质[J];西北民族大学学报(自然科学版);2005年02期
2 王建平,刘延杰;由有穷自动机构造正则表达式的新算法[J];计算机应用与软件;2003年10期
3 严兵,卢朝晖;一类有穷自动机的设计[J];西华大学学报(自然科学版);2005年04期
4 姜策;李华峰;何颖;;正则表达式初探与应用[J];硅谷;2010年03期
5 周广福;求有穷自动机同态的一个算法[J];计算机学报;1982年02期
6 李朝霞;;有穷自动机等价转化中的一种重要工具[J];运城学院学报;2007年02期
7 杨学庆;柳重堪;;哈密顿路径问题的一种基于有穷自动机的DNA算法[J];计算机工程与应用;2007年18期
8 邱丽萍,朱平;自动机和形式语言结构的理论研究[J];江南大学学报(自然科学版);2003年05期
9 苏锦祥;;ω-正则语言族的几个子类[J];计算机研究与发展;1985年04期
10 彭丹,谷文祥;基于Moore机器的一般汉字有穷自动机[J];计算机工程与应用;2003年36期
中国重要会议论文全文数据库 前6条
1 李平;李永明;;基于量子逻辑的确定型正则语言的代数性质[A];第六届中国不确定系统年会论文集[C];2008年
2 任伟;赵俊阁;王志锋;;变抽象为直观:“形式语言与自动机”教学中的图论方法[A];2009年中国高校通信类院系学术研讨会论文集[C];2009年
3 陈利民;;实时领域中数据库管理系统的体系结构和实现方法[A];第十一届全国数据库学术会议论文集[C];1993年
4 杨红娟;周以齐;石柏成;陈成军;;Solid Edge文件到VEGA平台文件转换的预处理算法研究[A];全国第13届计算机辅助设计与图形学(CAD/CG)学术会议论文集[C];2004年
5 韩江洪;张亚琼;魏正佳;;脚本语言词法分析器的状态转移图构造[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用(CACIS)学术会议论文集[C];2007年
6 桂浩;冯玉才;;从谓词逻辑到XML查询自动机[A];第二十二届中国数据库学术会议论文集(技术报告篇)[C];2005年
中国博士学位论文全文数据库 前2条
1 韩召伟;几类基于量子逻辑的自动机的代数及逻辑刻画[D];陕西师范大学;2011年
2 李平;伪半环及其在自动机理论中的应用[D];陕西师范大学;2010年
中国硕士学位论文全文数据库 前10条
1 曾浩;一种量子逻辑系统的应用研究[D];苏州大学;2005年
2 张丽;基于等价类的非确定有穷自动机最小化方法的研究[D];贵州大学;2006年
3 刘军;两类非经典有限自动机的性质与乘积研究[D];四川师范大学;2009年
4 王小艳;用DNA分子自动机模拟有穷自动机[D];北京工业大学;2007年
5 范瑞英;基于LazyDFA的XML数据流查询优化技术研究[D];内蒙古科技大学;2009年
6 高峰;GUI录制回放中几个关键技术的研究[D];哈尔滨工业大学;2006年
7 杨春志;基于词的计算的研究[D];陕西师范大学;2007年
8 汤恒琦;幺半环上模糊自动机的研究与应用[D];广西师范大学;2008年
9 孙建波;基于SDG-HAZOP的类C解释器的设计与实现[D];北京化工大学;2007年
10 高璞;基于白血病的生物分子多状态自动机[D];北京工业大学;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026