CAD系统中嵌套有穷状态自动机的设计与实现

• 作者: 叶修梓 吕蕴华 张三元
• 来源期刊: 现代机械
• 学科: 工学
• 关键词: 非嵌套有穷自动机 嵌套有穷自动机 状态机类 事务类 状态类 状态机/状态类
• 年，卷（期）: 2006,（3）
• 所属期刊栏目: 计算机应用
• 页码范围: 33-34,45
• 页数: 3页
• 分类号: TP3
• 字数: 1469字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-6886.2006.03.012

摘要

基本CAD系统中都要用到有穷自动机,在一般的CAD系统中,通常用switch、case语句来设计相应的状态图,这样做不但在状态复杂时逻辑上容易出错,而且使多个开发者无法同时开发和调试自动机的几个子模块,一定程度上限制了开发并行性和进度,非嵌套有穷自动机的设计基本上模仿状态图的逻辑设计,让状态图的设计者可以像画状态图一样直观地设计自动机,增加了逻辑上的清晰性.在此基础上改造的嵌套有穷自动机有效地实现了多个开发者对某一自动机子功能的并行设计和单元测试,能有效地提高开发效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张三元	浙江大学计算机学院	95	1145	20.0	30.0
2	叶修梓	浙江大学计算机学院	40	894	13.0	29.0
3	吕蕴华	浙江大学计算机学院	1	0	0.0	0.0