期刊文献+

CAD系统中嵌套有穷状态自动机的设计与实现 被引量:1

Design and Implementation of Embedded Finite State Machines in CAD Systems
下载PDF
导出
摘要 基本CAD系统中都要用到有穷自动机,在一般的CAD系统中,通常用switch、case语句来设计相应的状态图,这样做不但在状态复杂时逻辑上容易出错,而且使多个开发者无法同时开发和调试自动机的几个子模块,一定程度上限制了开发并行性和进度,非嵌套有穷自动机的设计基本上模仿状态图的逻辑设计,让状态图的设计者可以像画状态图一样直观地设计自动机,增加了逻辑上的清晰性。在此基础上改造的嵌套有穷自动机有效地实现了多个开发者对某一自动机子功能的并行设计和单元测试,能有效地提高开发效率。 Finite state machine is needed in nearly all the CAD system, switch, case clause are used to design the corresponding statechart diagrams in normal CAD systems. But it can easily cause logical confusion and it is difficult for developers to design and test the modules of the statemachine. To some extent ,it will prevent us from synactic developing. A normal finite state machine can be designed just as draw a statechart diagrams with the machine class mentioned in the paper,and with lesslogical confusion. The nested state machine based on the normal state machine allows synatic developing and module testing,it can improve the efficiency of development.
出处 《现代机械》 2006年第3期33-34,45,共3页 Modern Machinery
关键词 非嵌套有穷自动机 嵌套有穷自动机 状态机类 事务类 状态类 状态机/状态类 normal finite machine nested finite machine machine class transition class state class machine state class
  • 相关文献

参考文献5

  • 1Hopcroft , J.E. and Ullman , J.D. Introduction to AutomataTheory. Languages and Computation [ M ]. Addsion - Wesley , 1979.1 - 54
  • 2[美]Michael Sipser著,张立昂,等译.计算理论导引[M].北京:机械工业出版社.2000.10—79
  • 3黄培.电子商务时代CAD技术的发展[J].设计制造自动化,2001,(4):10-10.
  • 4王瀛,王冬.基于KMP算法的确定型有穷自动机的设计[J].河南大学学报(自然科学版),2002,32(3):90-92. 被引量:2
  • 5黎远松.有限自动机正则化方法研究[J].四川理工学院学报(自然科学版),2005,18(1):49-51. 被引量:2

二级参考文献8

  • 1龚天富 候文永.程序设计语言与编译[M].北京:电子工业出版社,1998..
  • 2LEWIS Harry R 张立昂(译).计算理论基础[M].北京:清华大学出版社,2000..
  • 3Barrett W A, Couch J D.Compiler Construction:Theory and Practice[M].Chicago'SRA, 1979.
  • 4Aho A V, Ullman J D. Principles of Compiler Design[M]. Addison-Wesley,1979.
  • 5Aho A V, Sethi R, Ullman J D. Compilers:Principles,Techrdques, and Tools[M].Reading,MA.:Addison-Wesley, 1986.
  • 6Blume B,Eigcnmann R, Faigin K, et al.Polaris:the next generation in parallelizing compilcrs[M].In:Proc the 7th Workshop New York, USA, 1994.
  • 7Bauer F L, Eichel J. Compiler Construction,An Advanced Course[M]. New York: Springer-Verlag, 1974.
  • 8周清雷.一类交替的ω-有穷自动机[J].郑州大学学报(理学版),1994,31(2):26-29. 被引量:1

共引文献2

同被引文献2

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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