5.2 状态转移图的跳转与分支