構建有限狀態機作為處理輸入
有限自動機是一種抽象的計算裝置。它是具有離散輸入、輸出、狀態和一組狀態轉換的系統的數學模型,這些轉換髮生在來自字母表Σ的輸入符號上。
有限自動機的形式化定義
有限自動機定義為一個五元組
M=(Q, ∑, δ,q0,F)
其中,
- Q - 有限集,稱為狀態。
- ∑ - 有限集,稱為字母表。
- δ - Q ☓ ∑ → Q 是轉移函式。
- q0 ∈ Q 是起始狀態或初始狀態。
- F - 終止狀態或接受狀態。
考慮一下地鐵站的牡蠣卡閘機 -
狀態 -
- 關閉
- 開啟
轉換 -
- 刷卡
- 進入閘門
成功 - 只有當顧客進入閘門時,才會扣款。
FSM 作為處理輸入
讓我們考慮一下地鐵站牡蠣卡閘機的例子。為了顯示交易是否被接受或拒絕,讓我們考慮以下輸入
接受狀態
地鐵站牡蠣卡閘機的接受狀態如下所示 -
廣告