現態和次態的概念

現態：是指觸發器在有效信號作用前所處狀態。次態：是指觸發器在有效信號作用後的狀態。條件滿足後要遷往的新狀態。次態是相對於現態而言的。

狀態機可歸納為4個要素，即現態、條件、動作、次態。這樣的歸納，主要是出於對狀態機 的內在因果關係的考慮。“現態”和“條件”是因，“動作”和“次態”是果。現態：是指當前所處的狀態。條件：又稱為“事件”，當一個條件被滿足，將會觸發一個動作，或者執行一次狀態的遷移。