woaidongmao

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

导航

<2011年2月>
日一二三四五六
303112345
6789101112
13141516171819
20212223242526
272812345
6789101112

常用链接

留言簿(10)

随笔分类

随笔档案

搜索

  •  

最新评论

阅读排行榜

评论排行榜

思考

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

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

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

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


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