华侨大学《EDA技术》第6讲 有限状态机的设计.pdfVIP

第六讲- 状态机 华侨大学信息学院通信工程系 2014.10 什么是状态机  有限状态机的简称,  Finite-State Machine, FSM  有限个状态以及在这些状态之间的转移和动作等行为 的数学模型  就是状态转移图  三种状态  健康，感冒，康复中  四种行为  淋雨，吃药，打针，休息 状态机的四要素  现态：是指当前所处的状态  条件：又称为“事件”，当一个条件 被满足，将会触发一个动作， 或者执行一次状态的迁移  动作：条件满足后执行的动作。动作执行完毕后，可以迁 移到新的状态，也可以仍旧保持原状态。动作不是 必需的，当条件满足后，也可以不执行任何动作， 直接迁移到新状态  次态：条件满足后要迁往的新状态。“次态”是相对于“ 现态”而言，“次态”一旦被激活，就转变成新