3.3.9 状态转换图