有限状态机是反应系统的一个模型。该模型定义了一组有限的状态和行为，以及当某些条件成立时系统如何从一种状态过渡到另一种状态。

有限状态机用于模拟动态系统中的复杂逻辑，如自动传输、机器人系统和移动电话。

包含复杂逻辑的操作例子包括:

• 为一个系统安排一系列的任务或步骤
• 定义故障检测、隔离和恢复逻辑
• 监督如何在不同的操作模式之间切换

有限状态机可以用状态图表示。状态图提供了传统有限状态机之外的额外功能，例如:

• 大规模系统的层次状态建模
• 添加流程图来定义复杂的决策逻辑
• 定义正交状态来表示具有并行性的系统

有关状态机建模的更多信息，请参见Stateflow^®。。