期刊文献+

有穷自动机计算中数据结构的设计 被引量:2

Data structure designed for finite automata computation
下载PDF
导出
摘要 尽管邻接矩阵是有穷自动机的一种常用存储方法,但是,邻接矩阵并不适合存储所有类型的有穷自动机.原因是两个状态间可能有两条以上同方向的弧,而邻接矩阵只能记录两个状态间存在的一条弧.所以,有穷自动机的存储结构最好采用邻接链表来存储.将此数据结构应用于NFA转换为DFA的计算,将传统的子集法中状态转换矩阵,由三维数组降低为二维数组. Although the adjacency matrix was a storage structure of finite automaton in common use, it was not proper to store all kinds of finite automata. Perhaps existing two arcs above in the same direction between two states, adjacency matrix could only record one of them. So the storage structure of finite automaton should the choosed adjacency lists. We use it to realize the computation of transition from NFA to DFA by reducing the number of the transition matrix dimensions from a three-dimensional array in traditional subset approach to a two-dimensional array in the new algorithm.
出处 《中国计量学院学报》 2007年第2期127-130,共4页 Journal of China Jiliang University
关键词 有穷自动机 数据结构 邻接链表 邻接矩阵 finite automata data structure adjacency lists adjacency matrix
  • 相关文献

参考文献9

二级参考文献51

  • 1门健.网络告警管理系统的设计与测试[J].空军工程大学学报(自然科学版),2004,5(4):63-66. 被引量:2
  • 2周欣,魏生民.基于B语言的UML形式化方法[J].计算机工程,2004,30(12):62-64. 被引量:9
  • 3JAMES Rumbaugh, IVAR Jacobson, GRADY Booeh. The Unified Modeling Language Reference Manual [M]. Boston: Addison Wesley, 1999.
  • 4OMG. OMG Unified Modeling Language Specification (Action Semantics) [EB/OL]. http ://www. omg. org, 2002.
  • 5HAREL D. Statecharts.. a visual formalism for complex systems[J]. Science of Computer Programming, 1987, 8:231-274.
  • 6JILLES van Gurp, JAN Bosch. On the implementation of finite state machines [A]. Proceedings of the IASTED International Conference, 3rd Annual lASTED International Conference Software Engineering and Applications[C]. Scottsdale, Arizona:IASTED 1999.
  • 7GAMMA E, HELM R, JOHNSON R, et al. Design Patterns-Elements of Reusable Object Oriented software [M]. Boston: Addison Wesley, 1995.
  • 8ROBERTS D, JOHNSON R. Patterns for evolving frameworks [A]. Pattern Languages of Program Design 3[C]. Boston: Addison Wesley, 1998.
  • 9SCHMIDT D C. Reactor: an object behavior pattern for concurrent event dmultiplexing and event handler dispatching [A]. Proceedings of the First Pattern Languages of Programs conference [C]. Monticello, Illinois: Addison-Wesley, 1995.
  • 10白中英.数字逻辑与数字系统[M].北京:科学出版社,2002..

共引文献76

同被引文献22

引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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