有限オートマトンは 、 状態機械またはＦＳＭ （ 有限状態機械 ）としても知られており、コンピュータプログラムおよび順序論理回路の設計に使用される計算の数学モデルである。 それらは実際のマシンではなく、一度にいくつかの限られた数の状態のいずれかにあるかもしれない抽象的なマシンです。

もっと明確に言うと、 有限オートマトン （単数形）はある状態から別の状態に遷移できるマシンです。 特定のイベントに遭遇すると、事前に定義された一連の動作に反応します。 たとえば、単純な有限オートマトンは地下鉄の駅の改札口になります。運賃をスワイプすると、ロック状態からアンロック状態に変わり、そこを歩くことができます。

エレクトロニクス用語、ロジック、モデル、チューリングマシン