狀態機在離散數學中可以用有向圖來表示，在形式語言中可以用五元組表示。
狀態機由一組節點和一組相應的轉移函數組成，狀態機通過響應一系列事件而“運行”。這讓我想起了動態規劃中的狀態轉移方程，
狀態機由狀態寄存器和組合邏輯電路構成，能夠根據控制信號按照預先設定的狀態進行狀態轉移，是協調相關信號動作,完成特定操作的控制中心。
狀態機是一種計算模型，不同種類的狀態機的計算能力不同，圖靈機也是一種狀態機，而且計算能力最強。四種文法對應四種自動機，計算能力：圖靈機>線性有界自動機>下推自動機>有限狀態自動機。
確定有限狀態自動機與非確定有限狀態自動機識別的語言都是正則語言。由於正則語言的良好性質，許多爲其他自動機(下推自動機或圖靈機)不能判定的問題，在有限狀態自動機的情形下，都可以得到判定，並且存在有效的算法。
狀態機分爲Moore狀態機和Mealy狀態機。我認爲Moore狀態機的過程像組合邏輯電路，而mealy狀態機的過程像是時序邏輯電路構成。
事件驅動的含義是指事件在應用程序之外生成，無法由應用程序或程序員來控制。幾乎所有的GUI應用程序都是採用事件驅動機制，從事件產生到應用程序接收並轉換爲消息，再由映射函數處理。
最近對“事件”這一概念有了較爲深入的理解，事件可以是另一個需要中斷響應的重要動作（不能和當前執行一起順序執行處理的），可以是本身需要耗時或者需要等待的處理過程，