状態遷移図（じょうたいせんいず、"State Transition Diagram"）とは、有限オートマトンをグラフィカルに表現するために使われる図のこと。他の表現手法として状態遷移表がある。状態遷移図には僅かに異なる形式のものがあり、意味的にも相違がある。有限オートマトンの状態遷移図の古典的な形式は有向グラフであり、以下のような形式である。一般には、頂点（ノード）は円で描かれ、必要ならば受容状態は二重円を使用する。"q" と "q" は状態であり、"q"は受容状態である。各エッジには入力が付記されている。"S

出典:wikipedia