2.4.2 状态转移图的编程方法