状態遷移表を利用した状態遷移機械プログラミング