有限オートマトンについてその振る舞いを直接的に、状態をノード(節)とし遷移をエッジ(辺あるいは矢印)とした、ネットワーク構造(グラフ理論・グラフ(データ構造))の図にしたものが状態遷移図である。状態遷移表.他の状態図.用途.ここで示しているような反応性システムの設計だけでなく、有限オートマトンは電気工学、言語学、計算機科学、哲学、生物学、数学、論理学など様々な領域で利用される。有限オートマトンはオートマトン理論や計算理論で研究される一種のオートマトンである。情報工学や計算機科学では、アプリケーションの動作のモデリング、デジタルシステムのハードウェア設計、ソフトウェア工学、コンパイラ設計、通信プロトコルの設計、計算と言語に関する研究などで幅広く活用されている。分類.初期状態/開始状態.初期状態は、一般にどこからも矢印で指されていない状態である。受容状態/受理状態.受容状態は、その機械が手続きを成功裡に完了させた状態である。通常、二重丸で表現される。トランスデューサ.実際には、これらを混合したモデルがよく使用される。決定性.ひとつしか状態を持たない有限オートマトンは結合有限オートマトンと呼ばれ、入力動作のみを持つ。これは複数の有限オートマトンが協調動作する場合に便利であり、結合有限オートマトンとして表せる部分を抽出して設計に活用する。数学モデル.タイプによって、いくつかの定義が存在する。有限状態機械は制限されたチューリングマシンと見ることもでき、ヘッドが読み取り動作しかできず、常に左から右へと読み取っていくチューリングマシンと言える。最適化.実装.ハードウェアへの適用例.デジタル回路では、プログラマブルロジックデバイス、プログラマブルロジックコントローラ、論理ゲート、フリップフロップ、リレーなどを使って有限オートマトンが構成される。もっと具体的に言えば、状態を格納するレジスタを持ち、状態遷移を決定する論理回路と出力を決定する論理回路を持つハードウェアが有限オートマトンであると言える。初期のハードウェア実装としてがある。ソフトウェアへの適用例.有限オートマトンを使ったソフトウェアアプリケーションを作るのに以下のコンセプトが一般に使われる。一国一城制西村康稔来歴.生い立ち.