有限狀態自動機（FSM）和擴展有限狀態自動機（EFSM）

  有限狀態自動機比較簡單，這裏就不說了，簡單貼張圖吧：       擴展有限狀態機模型是對有限機狀態模型的一個擴展，它在FSM模型的基礎上增加了變量、操作以及狀態遷移的前置條件，可以更加精確的刻畫軟件系統的動態行爲。 EFSM是一個六元組：M=(S, s0, V, I, O, T ) 其中，S 是一個有限狀態集合 V 是內部變量的有限集合 I 是輸入集合 O 是輸出集合 T 是狀態遷移的有限集合

>>阅读原文<<