EFSM（Enhanced Finite State Machine），擴展有限狀態機。一個EFSM是有許多狀態和狀態之間的轉換共同構成。 基本介紹 中文名：擴展有限狀態機外文名：Enhanced Finite State Machine簡稱：EFSM構成：許多狀態和狀態之間的轉換 狀態轉換在一個事件發生或者滿足轉換的條件時候被觸發。當觸髮狀態轉換時候，可能會引起某個行動，這個行動可能會操縱變數進行輸入或產生輸出，為了執行轉換，條件是某個布爾謂詞必須為真。在EFSM的圖形表示當中，節點代表各個狀態，而邊則代表各個狀態之間的遷移關係。一個遷移包含以下元素：（1）事件，（2）條件，（3）一系列動作。
