あの説明じゃ、状態遷移をどうやって実装するのかが全然イメージ湧かないので、そこが結構苦労した。有限状態機械ってのは、状態と操作がいくつかあって、 f(元の状態, 操作) -> ( 次の状態, イベント出力 )という状態遷移(写像)が、すべての状態について定…