検索に移動この記事には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。脚注を導入して、記事の信頼性向上にご協力ください。Diagram)は、有限オートマトンなどの状態機械について、その各状態を頂点とし、状態から状態への各遷移を辺としたグラフ構造に注目して、グラフィカルに表現した図である。他の表現手法として状態遷移表などがある。状態遷移図にはいくつかの異なる形式のものがある。対象の性質や用途などによって使い分けることもある。外部リンク有向グラフ[編集]有限オートマトンの状態遷移図の古典的な形式は有向グラフであり、以下のような形式である。各辺(エッジ)はふたつの状態の間の遷移を表す。ムーア・マシンでは各エッジに入力を付記する。ミーリ・マシンでは各エッジに入力と出力を付記する。各頂点(ノード)は状態を表す。ムーア・マシンでは各状態に出力を付記する。一般には、頂点(ノード)は円で描かれ、必要ならば受容状態は二重円を使用する。状態であり、q0は受容状態である。各エッジには入力が付記されている。