有限オートマトン - Wikipediaオートマトン理論 有限オートマトン（ゆうげんオートマトン、英: finite automaton）または有限状態機械（ゆうげんじょうたいきかい、（）英: finite state machine, FSM）とは、有限個の状態と遷移規則からなる状態機械。 チューリングマシンとは異なり計算状態を記憶するテープを持たず、チューリング完全ではないが、様々な応用がある。 状態[注 1]は、システムの振る舞いのノードであり、システム内で遷移[注 2]を実行するトリガーを待っている。一般に状態は、同じトリガーに対してシステムの反応が常に同じではない場合に導入される。例えば、カーラジオのシステムでは、特定のラジオ局の放送を聴いている状態で「次へ」というトリガーは次のラジオ局（の放送受信）への移行を意味する。しかし、CDプレーヤーのシステムでは、「次へ」は次のトラックへの移行を意味する。これらは、同じトリガ
