4.3.5 状态迁移算法