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