有限状态机是反应系统的模型。该模型定义了一组有限的状态和行为以及系统在某些条件为真时如何从一个状态转换到另一个状态。
有限状态机用于在动态系统中建模复杂逻辑，例如自动变速箱，机器人系统和移动电话。
包含复杂逻辑的操作示例包括：
- 安排系统的任务序列或步骤
- 定义故障检测，隔离和恢复逻辑
- 监督如何在不同的操作模式之间切换
有限状态机可以由状态图表表示。状态图表提供超出传统有限状态机的额外功能，例如：
- 用于大型系统的层次结构
- 添加流图以定义复杂的决策逻辑
- 定义正交状态以表示具有并行性的系统
有关建模状态机的更多信息，请参阅州流程®。
