状態遷移図
有限オートマトンの状態遷移図の古典的な形式は有向グラフであり、以下のような形式である。
各辺(エッジ)はふたつの状態の間の遷移を表す。 ムーア・マシンでは各エッジに入力を付記する。 ミーリ・マシンでは各エッジに入力と出力を付記する。
各頂点(ノード)は状態を表す。 ムーア・マシンでは各状態に出力を付記する。
一般には、頂点(ノード)は円で描かれ、必要ならば受容状態は二重円を使用する。