2.4.3 单流程状态转移图的编程