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