一個(gè)模型，如果需要N個(gè)狀態(tài)機(jī)來(lái)描述，假設(shè)N個(gè)狀態(tài)機(jī)的最小化狀態(tài)數(shù)目分別為：S1，S2。。。。。Sn
則，該模型如果表達(dá)為的單個(gè)狀態(tài)機(jī)，則所得狀態(tài)機(jī)的狀態(tài)數(shù)目是：S1 * S2 * …..* Sn。
也就是單個(gè)狀態(tài)，代表一組狀態(tài)。
并行與串行是等價(jià)的，用增加狀態(tài)數(shù)目的辦法，將并行轉(zhuǎn)化為串行。