畫出你自己的有限狀態機。
該應用程序實現了一種減少有限狀態機的算法。
有限狀態機 (FSM) 或有限狀態自動機（複數：自動機），或簡稱為狀態機，是一種用於設計計算機程序和時序邏輯電路的計算數學模型。它被認為是一個抽像機器，可以處於有限數量的狀態之一。機器一次只處於一種狀態；它在任何給定時間所處的狀態稱為當前狀態。當觸發事件或條件啟動時，它可以從一種狀態更改為另一種狀態；這稱為過渡。特定的 FSM 由其狀態列表以及每次轉換的觸發條件定義。
狀態機的行為可以在現代社會的許多設備中觀察到，這些設備根據呈現的事件序列執行預定的動作序列。簡單的例子包括自動售貨機，當存入正確的硬幣組合時分發產品，電梯讓乘客在上層下車後再下樓，交通燈在汽車等待時改變順序，以及需要按正確順序輸入組合號碼的密碼鎖。
有限狀態機可以對大量問題進行建模，其中包括電子設計自動化、通信協議設計、語言解析等工程應用。在生物學和人工智能研究中，狀態機或狀態機的層次結構已被用來描述神經系統，在語言學中被用來描述自然語言的語法。
閱讀更多信息
