有限狀態機 FSM

有限狀態機是由一組狀態、一個起始狀態、 輸入、將輸入與現在狀態轉換為下一個狀態的轉換函數所組成。

比方說：自動販賣機、電梯升降系統、紅綠燈系統...

一個特殊的方式：

Global asynchronous Local synchronous

全域是非同步的，但區域是一個獨立同步的FSM。（my comment: 整體看起來像一個大型FSM，只是每個小的程序其實是一個獨立的FSM。）

一個FSM的特性：

單位時間同步化。

輸入階段、處理階段、運算結果是同一個單位時間的回饋。

• 設計理念：

   輸入的瞬間，輸出已經完成。

• 前提：

1. 計算＋內部處理不需要時間（歷時超級快速所以可以省略）。
2. event 之間不是同步，就是歷時相差極遠。