第5章 状态转移图及编程方法