c.f. 状態遷移機械 State transition machine