7.4.2 基于有限状态机的系统模型