计算机控制系统的控制程序具有有限状态自动机（FA）的特征，可以用有限状态机理论来描述。有限自动机是计算机科学的重要基石，它在软件开发领域内通常被称作有限状态机，是一种应用非常广泛的软件设计模式。

自动机是有限状态机的数学模型。

自动机 原来是模仿人和动物的行动而做成的机器人的意思。但是现已被抽象化为如下的机器。时间是离散的，在每一个时刻它处于所存在的有限个内部状态中的一个。