12.4 序列检测器的状态机描述方法