期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

有限自动机的最小化理论 被引量：6

下载PDF
导出
摘要 系统表述确定性有限自动机最小化理论,给出了有关概念与命题的严谨的数学形式和严格的数学证明.引入了状态的严格k阶区分,研究了其性质.进而给出DFA最小化算法的一个容易实现的构造性描述及其复杂性分析.
作者 韩光辉
机构地区 武汉商业服务学院教育技术中心
出处 《江汉大学学报（自然科学版）》 2005年第4期14-16,共3页 Journal of Jianghan University：Natural Science Edition
关键词 DFA 等价最小DFA 等价关系 商集
分类号 TP301.1 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献11

  • 1Shannon C E,McCarthy J.Automata studies[M].Princeton:Princeton University Press,1956.
  • 2Rabin M O,Scott D.Finite automata and their decision problems[J].IBM J Res Develop,1959,3:114-125.
  • 3Chomsky N.On certain formal properties of grammars[J].Information and Control,1959,2:137-167.
  • 4Hopcroft J E,Ullman J D.Introduction to automata theory[M].Reading:Languages and Computation,Addison-Wesley,1979.
  • 5Bergadano F,Varricchio S.Learning behaviors of automata multiplicity and equivalence queries [J].SLAMJ Comput,1999,25:6-12.
  • 6Beimel 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
  • 8Einspahr 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

同被引文献44

引证文献6

二级引证文献8

江汉大学学报（自然科学版）
2005年 第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部