構建有限狀態機作為處理輸入


有限自動機是一種抽象的計算裝置。它是具有離散輸入、輸出、狀態和一組狀態轉換的系統的數學模型,這些轉換髮生在來自字母表Σ的輸入符號上。

有限自動機的形式化定義

有限自動機定義為一個五元組

M=(Q, ∑, δ,q0,F)

其中,

  • Q - 有限集,稱為狀態。
  • ∑ - 有限集,稱為字母表。
  • δ - Q ☓ ∑ → Q 是轉移函式。
  • q0 ∈ Q 是起始狀態或初始狀態。
  • F - 終止狀態或接受狀態。

考慮一下地鐵站的牡蠣卡閘機 -

狀態 -

  • 關閉
  • 開啟

轉換 -

  • 刷卡
  • 進入閘門

成功 - 只有當顧客進入閘門時,才會扣款。

FSM 作為處理輸入

讓我們考慮一下地鐵站牡蠣卡閘機的例子。為了顯示交易是否被接受或拒絕,讓我們考慮以下輸入

接受狀態

地鐵站牡蠣卡閘機的接受狀態如下所示 -

更新於:2021年6月16日

405 次瀏覽

啟動您的職業生涯

完成課程獲得認證

開始
廣告