2.4.4 多分支状态转移图的编程