一個模型,如果需要N個狀態機來描述,假設N個狀態機的最小化狀態數目分別為:S1,S2。。。。。Sn
則,該模型如果表達為的單個狀態機,則所得狀態機的狀態數目是:S1 * S2 * …..* Sn。
也就是單個狀態,代表一組狀態。
并行與串行是等價的,用增加狀態數目的辦法,將并行轉化為串行。
posted on 2010-02-08 12:23 肥仔 閱讀(721) 評論(1) 編輯 收藏 引用 所屬分類: 編程思想 、狀態機 & 自動機 & 形式語言
Powered by: C++博客 Copyright © 肥仔