10.2.3 通过状态转移图生成代码