一个模型，如果需要N个状态机来描述，假设N个状态机的最小化状态数目分别为：S1，S2。。。。。Sn
则，该模型如果表达为的单个状态机，则所得状态机的状态数目是：S1 * S2 * …..* Sn。
也就是单个状态，代表一组状态。
并行与串行是等价的，用增加状态数目的办法，将并行转化为串行。
posted on 2010-02-08 12:23 肥仔 阅读(694) 评论(1) 编辑 收藏 引用 所属分类: 编程思想 、状态机 & 自动机 & 形式语言
Powered by: C++博客 Copyright © 肥仔