概念

有限状态机用来对系统或对象的控制和顺序视图进行建模。它的行为不仅取决于输入，也和系统之前所发送的事件。在于状态高度相关的系统中，这些表示法非常有助于提供一种视角来帮助理解系统的复杂性。

事件

事件是在某一个时间点发生的事情。一个事件具有原子性且概念上无持续。如‘银行卡已经插入ATM’，‘密码已经输入’，‘门已经打开’等都是事件。
一个事件是和其他事件相互依赖的，如‘银行卡已经插入ATM’总是在‘密码已经输入’之前。在这种情况下，第一个事件(银行卡插入)会使得状态转换为‘等待输入密码’的状态。