期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
有限自动机的最小化理论
被引量:
6
下载PDF
职称材料
导出
摘要
系统表述确定性有限自动机最小化理论,给出了有关概念与命题的严谨的数学形式和严格的数学证明.引入了状态的严格k阶区分,研究了其性质.进而给出DFA最小化算法的一个容易实现的构造性描述及其复杂性分析.
作者
韩光辉
机构地区
武汉商业服务学院教育技术中心
出处
《江汉大学学报(自然科学版)》
2005年第4期14-16,共3页
Journal of Jianghan University:Natural Science Edition
关键词
DFA
等价最小DFA
等价关系
商集
分类号
TP301.1 [自动化与计算机技术—计算机系统结构]
引文网络
相关文献
节点文献
二级参考文献
7
参考文献
11
共引文献
39
同被引文献
44
引证文献
6
二级引证文献
8
参考文献
11
1
Shannon C E,McCarthy J.Automata studies[M].Princeton:Princeton University Press,1956.
2
Rabin M O,Scott D.Finite automata and their decision problems[J].IBM J Res Develop,1959,3:114-125.
3
Chomsky N.On certain formal properties of grammars[J].Information and Control,1959,2:137-167.
4
Hopcroft J E,Ullman J D.Introduction to automata theory[M].Reading:Languages and Computation,Addison-Wesley,1979.
5
Bergadano F,Varricchio S.Learning behaviors of automata multiplicity and equivalence queries [J].SLAMJ Comput,1999,25:6-12.
6
Beimel A,Bergadano F,Bshouty N H,et al.Learning functions represented as multiplicity automata[J].JACM,2002,47(5):506-512.
7
朱征宇,朱庆生.
有限自动机研究的矩阵模型方法[J]
.计算机科学,2001,28(4):46-48.
被引量:37
8
Einspahr K L,Mehta S K,Seth S C.A synthesis for testability scheme for finite state machines using clock control[J].IEEE Transactions on Computer-Aided Design,1999,18(12):1780-1792.
9
韩光辉.
LR(k)项集的性质与构造[J]
.武汉汽车工业大学学报,1998,20(4):84-87.
被引量:6
10
刘大本.
有限自动机存储器实现方法[J]
.青岛大学学报(工程技术版),2000,15(4):66-68.
被引量:3
二级参考文献
7
1
陶仁骥.一种有限自动机分开钥密体制和数字签名[J].计算机学报,1985,8(6):401-409.
2
陶仁骥,计算机学报,1985年,8卷,6期,401页
3
管纪文,线性自动机,1984年
4
左考凌,李为鑒,刘永才.离散数学[M].上海:上海科学技术文献出版社,1999.
5
周明德.微型计算机硬件、软件及其应用[M].北京:清华大学出版社,1990.
6
唐稚松.LR(K)的语法分解与FPL程序的优化[J]数学学报,1978(01).
7
吕书志.
环上线性有限自动机的可逆性的一些结果[J]
.计算机学报,1991,14(8):570-578.
被引量:11
共引文献
39
1
朱征宇,付关友,赵银春.
矩阵模型表示下有限自动机等价判定方法[J]
.计算机工程与应用,2004,40(34):54-56.
被引量:5
2
朱征宇,王术,赵银春.
基于矩阵模型表示的有限自动机极小化方法[J]
.计算机工程与应用,2004,40(35):47-49.
被引量:15
3
熊茜,朱征宇,朱庆生.
基于虚拟表示模型的Web页面模块化设计方法[J]
.计算机应用,2005,25(2):301-304.
被引量:4
4
杨军,韩光辉.
改进的LR(1)分析表及其构造算法[J]
.武汉交通管理干部学院学报,2001,3(3):77-79.
5
王亮,朱征宇.
基于扩展标记图的Web信息抽取器[J]
.计算机工程,2005,31(8):159-161.
被引量:2
6
韩光辉.
有限自动机最小化算法的实现[J]
.武汉商业服务学院学报,2006,20(1):60-62.
7
韩光辉,段国丽.
有限自动机最小化算法的实现[J]
.湖北工业大学学报,2006,21(2):69-71.
被引量:3
8
李翰芳,李培培.
连接型自动机的极小化及其复杂性[J]
.贵州大学学报(自然科学版),2007,24(1):62-67.
9
陈燕敏,邓培民,易忠.
布尔状态映射矩阵的变化及应用[J]
.计算机工程与应用,2007,43(4):30-35.
被引量:1
10
冯文俊,易忠,邓培民.
状态机和变换半群积的覆盖关系[J]
.广西师范大学学报(自然科学版),2007,25(1):26-29.
被引量:6
同被引文献
44
1
朱征宇,王术,赵银春.
基于矩阵模型表示的有限自动机极小化方法[J]
.计算机工程与应用,2004,40(35):47-49.
被引量:15
2
戚国正,康家成,杨崇耀.
关于概率自动机的等价性与极小化问题[J]
.贵州科学,1994,12(1):8-11.
被引量:8
3
叶瑞芬,沈百英.
关于正则语言的泵引理[J]
.华东理工大学学报(自然科学版),1994,20(5):654-656.
被引量:3
4
韩江洪,郑淑丽,陆阳,魏振春,于筑国.
离散事件控制系统规则化描述方法的研究[J]
.合肥工业大学学报(自然科学版),2005,28(9):1081-1084.
被引量:11
5
徐红.
对确定有限自动机最小化算法的改进[J]
.桂林航天工业高等专科学校学报,2005,10(4):14-16.
被引量:7
6
雷红轩,李永明.
同步格值自动机的约简和最小化算法[J]
.计算机工程与应用,2006,42(16):57-60.
被引量:12
7
秦永彬,许道云.
有穷自动机中的等价性与等价归并算法[J]
.济南大学学报(自然科学版),2006,20(4):354-358.
被引量:11
8
韩光辉,段国丽.
有限自动机最小化算法的实现[J]
.湖北工业大学学报,2006,21(2):69-71.
被引量:3
9
蒋龙龙,陈文宇.
利用等价类构造有限状态自动机[J]
.计算机科学,2006,33(11):272-273.
被引量:4
10
[1]BergadanoF,VarricchioS.Learning Behaviors of Automata Multiplicity and Equivalence Queries[J].SLAMJ Comput,1999,25:6-12.
引证文献
6
1
韩光辉,段国丽.
有限自动机最小化算法的实现[J]
.湖北工业大学学报,2006,21(2):69-71.
被引量:3
2
赵丽敏.
自动机理论在协议开发中的应用[J]
.电脑知识与技术,2007(5):784-785.
被引量:1
3
郭凯红.
关于有限状态机最小化理论的一个注记[J]
.辽宁大学学报(自然科学版),2008,35(3):228-231.
4
王晓峰.
有穷自动机状态极小化方法及正则语言判定优化[J]
.广西民族大学学报(自然科学版),2008,14(3):81-84.
被引量:2
5
李斌,舒兰.
确定型格值有限自动机的最小化[J]
.计算机工程与应用,2010,46(32):52-54.
被引量:2
6
韩光辉.
正则语言的一个特征[J]
.计算机工程与应用,2012,48(4):43-44.
二级引证文献
8
1
郭凯红.
关于有限状态机最小化理论的一个注记[J]
.辽宁大学学报(自然科学版),2008,35(3):228-231.
2
郭凯红,李文立.
基于有限状态机最小化理论的同余关系研究[J]
.计算机应用研究,2009,26(5):1746-1748.
被引量:1
3
李斌,舒兰.
确定型格值有限自动机的最小化[J]
.计算机工程与应用,2010,46(32):52-54.
被引量:2
4
文杰.
确定型有穷状态自动机的同态压缩[J]
.广西师范学院学报(自然科学版),2010,27(4):95-99.
5
王泽文,舒兰,翁福利.
模糊树自动机语言的封闭性[J]
.计算机工程与应用,2012,48(18):61-63.
6
雷国平,谭泽富.
有限自动机在CMMB解复用中的应用研究[J]
.计算机工程与应用,2012,48(17):154-160.
7
王琳琳,刘耀军.
基于有限状态自动机极小化的Web应用系统测试[J]
.太原科技大学学报,2017,38(1):11-15.
8
周永恒,王嘉春,纪炜,赵飞.
面向园区网络的IPv6overIPv4隧道识别技术研究与实现[J]
.航天制造技术,2017(3):54-57.
1
马金娜,田大钢.
基于SVM的中文文本自动分类研究[J]
.计算机与现代化,2006(8):5-8.
被引量:8
2
王军,甘丹,王继军.
利用自动机研究描述逻辑的推理问题[J]
.计算机与现代化,2008(6):27-28.
3
郭凯红,李文立.
基于有限状态机最小化理论的同余关系研究[J]
.计算机应用研究,2009,26(5):1746-1748.
被引量:1
4
郭凯红.
关于有限状态机最小化理论的一个注记[J]
.辽宁大学学报(自然科学版),2008,35(3):228-231.
5
邸真珍,蒋爱平.
最小二乘支持向量机在软测量建模中的应用[J]
.世界仪表与自动化,2005,9(5):55-56.
被引量:1
6
杨永燕.
武汉中商集团 6个月网上商城便开张[J]
.信息方略,2008(18):48-49.
7
楼雄伟,黄德才,方陆明,徐爱俊.
基于改进遗传算法和SVM的森林火灾视频目标鉴别[J]
.计算机科学,2014,41(8):316-321.
被引量:2
8
孙建涛,郭崇慧,陆玉昌,石纯一.
多项式核支持向量机文本分类器泛化性能分析[J]
.计算机研究与发展,2004,41(8):1321-1326.
被引量:16
9
宋峻峰,张维明,肖卫东,唐九阳.
基于本体的信息检索模型研究[J]
.南京大学学报(自然科学版),2005,41(2):189-197.
被引量:44
10
张燕平,张铃,吴涛.
不同粒度世界的描述法——商空间法[J]
.计算机学报,2004,27(3):328-333.
被引量:80
江汉大学学报(自然科学版)
2005年 第4期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部