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