1、一个DFA的输入符号由DFA或者并发的自动机组成；
2、用状态机或者并发状态机，来描述软件的静态逻辑结构（业务流程，控制流程），软件动态行为是由静态的逻辑所决定的；
3、可以作为一个强有力的模型验证工具，错误异常处理器。
posted on 2009-11-20 18:03 肥仔 阅读(335) 评论(0) 编辑 收藏 引用 所属分类: 状态机 & 自动机 & 形式语言
Powered by: C++博客 Copyright © 肥仔