12.3 计数器电路的状态机描述方法