有限状态机是一种反应系统的模型。该模型定义的有限组的状态和行为，以及如何系统转变从一个状态到另一个状态的当某些条件都为真。

有限状态机被用于复杂的逻辑动态系统，如自动变速器，机器人系统和移动电话进行建模。

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

• 计划任务或步骤的顺序进行的系统
• 定义故障检测，隔离和恢复逻辑
• 监督如何操作的不同模式之间切换

有限状态机可通过状态图来表示。国图提供超越传统的有限状态机，如附加功能：

• 对于大型系统的建模分层状态
• 添加流图来定义复杂的判决逻辑
• 定义正交状态来表示与并行系统

有关模拟状态机的详细信息，请参阅Stateflow的^®。。