3.9.5 有限状态转换