ステートチャート図を書いてみました。 Tax、BS、CE、AC、+/- キーについては、次節の状態遷移表に直接かきこむことにしました。