決定性状態遷移機械のプログラミング方法
プログラムの実行位置を状態として使う
状態変数を利用する
状態遷移表を使う