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

下推自动机的状态转换图与下推自动机的化简

张继军  吴哲辉  
【摘要】:参照有限状态自动机图形表示方式的思想方法,研究了标准下推自动机的图形表示——PAD 状态转换图,证明了下推自动机与标准下推自动机的等价性。给出了对标准下推自动机进行化简的原则,并给出了化简算法,实现了下推自动机的化简。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 卢忠亮;沈慧芳;陈杰;;基于射频识别的智能物流小车[J];江西理工大学学报;2011年03期
2 ;[J];;年期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 金大海;宫云战;;面向对象程序自动执行模型及实验算法研究[A];第十届全国容错计算学术会议论文集[C];2003年
2 李炜;刘政怡;吴建国;;基于完全确定有限状态机的控制器综合的验证[A];全国第19届计算机技术与应用(CACIS)学术会议论文集(下册)[C];2008年
3 李洪敏;王泓;;自编测控软件的可靠性测试[A];中国工程物理研究院科技年报(2005)[C];2005年
4 韩江洪;张亚琼;魏正佳;;脚本语言词法分析器的状态转移图构造[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用(CACIS)学术会议论文集[C];2007年
5 张剑鸣;杨正球;;基于Struts架构的考核系统软件的设计[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
6 陶惠良;杨正球;;基于Struts+Spring的易维护软件流程设计与实现[A];2009年中国高校通信类院系学术研讨会论文集[C];2009年
7 周君毅;刘嘉峰;邱嗣荣;毛勇锋;许耀华;;基于可视化的查询系统的设计与实现[A];第十八届全国数据库学术会议论文集(技术报告篇)[C];2001年
8 邬兰平;张日飞;钟联炯;;鱼眼域路由协议FSR的仿真建模[A];全国ISNBM学术交流会暨电脑开发与应用创刊20周年庆祝大会论文集[C];2005年
9 黄洪;胥琳;叶枫;;新的对象概念与系统分析方法研究[A];管理科学与系统科学研究新进展——第8届全国青年管理科学与系统科学学术会议论文集[C];2005年
10 李晓斌;刘辰;杨正球;;基于struts框架的软件流程设计[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
中国博士学位论文全文数据库 前5条
1 张征;分子下推自动机理论及应用研究[D];华中科技大学;2007年
2 徐斌;支持异地协同遗留系统再工程的软件工程方法研究[D];浙江大学;2004年
3 胡圣明;基于内存自动机与模式的动态引擎构造技术研究[D];西安电子科技大学;2009年
4 杨德志;分布式文件系统可扩展元数据服务关键问题研究[D];中国科学院研究生院(计算技术研究所);2008年
5 尚宗敏;智能流程异常处理的若干关键技术研究[D];山东大学;2009年
中国硕士学位论文全文数据库 前10条
1 李俊华;M-zMPPS规则认知诊断测试系统的研究与实现[D];江西师范大学;2008年
2 陈霄凯;有限自动机(FA)在测控程序自动生成中的应用研究[D];华北电力大学(河北);2004年
3 吴文光;可生存性信息服务系统设计实现与评估方法研究[D];国防科学技术大学;2005年
4 胡晓亮;基于任务模型构建用户界面的研究[D];山东大学;2008年
5 郭秀萍;递阶分布控制系统设计软件的开发[D];昆明理工大学;2003年
6 林海菁;具有认知诊断功能的CAT的研究与实现[D];江西师范大学;2005年
7 初春来;界面迁移过程中动态划分问题的研究[D];山东大学;2008年
8 祁斌;基于任务的交互设计平台的研究与实现[D];山东大学;2010年
9 宋苑;面向对象类级非等价对测试原型系统的设计与实现[D];暨南大学;2001年
10 袁勇福;Web服务事务处理研究与实现[D];湖南师范大学;2007年
中国重要报纸全文数据库 前1条
1 刘绍华;信息技术与业务流程的融合[N];计算机世界;2003年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978