有限オートマトン (Finite State Machine)

元ネタ

有限オートマトン - Wikipedia


手続きを表す機械を表すことができる

2種類存在する

  • アクセプタ/リコグナイザ
  • トランスデューサ

アクセプタ/リコグナイザ (Accepta / Recognize)

受容もしくは理解

f:id:yossan2:20210313153310p:plain
niceを受容する有限オートマトン

  • 初期状態: どこからも矢印がさされていないノード
  • 受容状態: その機械が手続きを成功裡に完了させた状態。通常二重丸で表現する