由状态集合，输入事件集合，输出事件集合，状态变迁函数集合所构成的抽象机器。状态变迁函数依现行的状态和输入事件转变产生输出事件和下一个现行状态。整个有限态机器的功能可视为将一序列的输入事件转变成相对应的一序列的输出事件。参【状态变迁图】（state transition diagram）、【杜林机】（Turing machine）。