woaidongmao

文章均收录自他人博客,但不喜标题前加-[转贴],因其丑陋,见谅!~
随笔 - 1469, 文章 - 0, 评论 - 661, 引用 - 0
数据加载中……

思考

1、一个DFA的输入符号由DFA或者并发的自动机组成;

2、用状态机或者并发状态机,来描述软件的静态逻辑结构(业务流程,控制流程),软件动态行为是由静态的逻辑所决定的;

3、可以作为一个强有力的模型验证工具,错误异常处理器。

posted on 2009-11-20 18:03 肥仔 阅读(318) 评论(0)  编辑 收藏 引用 所属分类: 状态机 & 自动机 & 形式语言


只有注册用户登录后才能发表评论。
网站导航: 博客园   IT新闻   BlogJava   知识库   博问   管理