现态和次态的概念

现态：是指触发器在有效信号作用前所处状态。次态：是指触发器在有效信号作用后的状态。条件满足后要迁往的新状态。次态是相对于现态而言的。

状态机可归纳为4个要素，即现态、条件、动作、次态。这样的归纳，主要是出于对状态机 的内在因果关系的考虑。“现态”和“条件”是因，“动作”和“次态”是果。现态：是指当前所处的状态。条件：又称为“事件”，当一个条件被满足，将会触发一个动作，或者执行一次状态的迁移。