Finite state machine

/ˌfaɪnaɪt steɪt məˈʃiːn/ ファイナイト ステート マシーン

1. 有限個の状態と、ある条件の下で状態が変化する仕組みを持つ計算モデル。

有限状態機械(FSM)は、有限個の「状態」と、特定の入力やイベントに応じて現在の状態から次の状態へと移行する「遷移」によって、システムの挙動を記述する数学的モデルまたは計算モデルです。ソフトウェア開発、ハードウェア設計、言語処理など、様々な分野でシステムのロジックや制御フローを表現するために用いられます。
A Finite State Machine is often used to model the behavior of digital circuits. (有限状態機械は、デジタル回路の挙動をモデル化するためによく使われます。)
関連
State transition
State diagram
Mealy machine
Moore machine
Pushdown automaton