自动机

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