状态机(State Machine)，全称有限状态机(Finite State Machine, FSM)，是计算机科学和系统工程中一种基础且强大的数学模型，用于描述一个系统或对象在其生命周期内可能处于的有限个状态，以及如何根据外部输入或内部事件在这些状态之间进行转换。它的核心思想是将复杂的行为逻辑分解为一系列清晰、可预测的状态和转移规则，从而实现对系统行为的精确建模、控制与验证。以下将从定义、核心组成部分、工作原理、特性分类以及典型应用场景几个维度进行详细阐述。
一、定义与本质
状态机是一种“抽象机器”，它只能存在于有限数量的状态之一，并通过接收外部输入(即事件)触发状态间的转移，每一次转移可能伴随着特定的动作。其数学本质可以看作是一个五元组(S, Σ, δ, s₀, F)，其中S是有限的状态集合，Σ是有限的事件(输入)集合，δ是状态转移函数，s₀是初始状态，F是接受状态集合(在特定语境下)。在工程实践中，状态机最核心的价值在于： 用单一、显式的模型替代程序中散落的多个布尔变量和条件分支，从而强制保证系统在任何时刻都处于有效的、符合业务逻辑的状态，避免非法转换的发生。
例如，一个简单的电灯开关只有“开”和“关”两个状态，通过“拨动开关”这一事件在两者间切换，并触发点亮或熄灭灯泡的动作。这个例子直观地体现了状态机“状态有限、事件驱动、转移明确”的本质。
二、核心组成部分
综合多个技术文献，状态机通常由以下核心要素构成：
状态（State）
状态是系统在某个时间点所处的稳定情景或条件。每个状态都对应系统行为的一个特定模式。例如，交通信号灯有“红灯”、“黄灯”、“绿灯”三种状态;订单系统有“待支付”、“已支付”、“已发货”、“已完成”等状态。状态必须是可区分的，并且有限个。
事件（Event）
事件是触发状态转换的外部输入或内部信号。它可以是用户的点击、计时器超时、网络消息到达、传感器信号变化等。事件本身不改变状态，但它的出现是状态转移的必要条件。
转移（Transition）
转移定义了在特定事件发生时，系统从一个状态切换至另一个状态的规则。一个转移通常包含四个要素：源状态、触发事件、 守卫条件（Guard） (可选，用于判断是否允许转移)和目标状态。例如，订单状态机中，只有在“待支付”状态且收到“支付成功”事件(并经过余额校验通过)时，才能转移到“已支付”状态。
动作（Action）
动作是在发生状态转移时执行的副作用或操作。动作可以细分为三类：
进入动作（Entry Action） ：进入某个状态时执行，例如点亮指示灯。
退出动作（Exit Action） ：离开某个状态时执行，例如关闭资源。
转移动作（Transition Action） ：在转移过程中执行，例如记录日志、发送通知。
动作不是必须的，有的转移只改变状态而不附带任何操作。
此外，更高级的状态机模型(如UML状态图)还包含一些扩展元素以处理复杂场景：
内部转移（Internal Transition） ：不导致状态变化的事件响应，只在状态内部执行动作而不触发离开/进入动作。
子状态（Substate） ：允许将状态分解为互斥或并发的子状态，形成层次化结构，避免状态爆炸。
延迟事件（Deferred Event） ：在当前状态不适合处理的事件，可以暂时推迟，待进入其他合适状态后再处理。
三、工作原理与特性
状态机的工作原理可以概括为：系统在任意时刻只能处于一个当前状态，当事件发生时，状态机根据当前状态和事件查找预定义的转移规则，若规则匹配且守卫条件满足，则执行对应的动作，并将当前状态更新为目标状态；若没有匹配的规则，则事件被忽略或触发错误处理。
这一机制赋予状态机两个关键特性：
确定性：对于给定的当前状态和输入，下一个状态和输出是唯一确定的。这种确定性使得状态机的行为完全可预测、可测试，非常适合用于对可靠性要求极高的系统(如航空电子、医疗设备)。
有限性：状态数量有限，使得我们可以穷举所有可能的状态组合，并通过状态转移表或状态图进行完整的形式化验证。
也存在 非确定性有限状态机（NFA） ，其转移规则允许从一个状态和输入出发得到多个可能的下一个状态，通常在编译原理(正则表达式匹配)中被使用，但实际工程中通常通过算法转化为确定性状态机(DFA)以实现。
四、典型应用场景
状态机已广泛应用于从底层硬件到上层业务逻辑的各个层面，其价值在行为与状态强相关且转换规则明确的场景中尤为突出。以下是几个典型领域：
流程管理与业务自动化
在电商订单系统、工作流审批、客户服务工单等场景中，状态机清晰定义了各阶段的转换条件，防止非法跳转(如未支付直接发货)。例如，订单状态机包含待支付→已支付→待发货→待收货→已完成等状态，每个转移均有明确的事件约束。
嵌入式系统与设备控制
交通信号灯控制器(红→黄→绿→红循环)、电梯控制系统(待机→上行→开门→下行)、洗衣机程序(注水→洗涤→漂洗→脱水)等都是典型的状态机实现。状态机帮助硬件程序员将复杂的时序控制拆解为简单的状态图，提升了代码的可靠性与可维护性。
游戏开发
游戏角色的行为逻辑(如“待机→行走→攻击→受伤→死亡”)非常适合用状态机建模。每个状态对应角色的动画、碰撞检测和AI策略，事件(如按下攻击键、受到伤害)触发转移，动作则触发播放动画、扣减血量等特效。
网络协议解析
TCP连接的三次握手、数据传输及四次挥手过程被公认为经典的状态机模型。串口通信中数据帧的解析(起始位→数据位→校验位→停止位)同样依赖状态机确保通信的正确性。
用户界面交互
图形界面中按钮的可用/禁用、悬停/按下等状态、表单提交时的“填写中→校验中→提交中→成功/失败”路径，均可借助状态机实现清晰的UI逻辑管理，避免界面状态与数据状态不一致。
编译器与正则表达式引擎
词法分析器通过状态机识别标识符、关键字、数字等词法单元;正则引擎将正则表达式编译成NFA/DFA进行模式匹配。
五、状态图(Statechart)与扩展
传统扁平状态机在处理大量状态和复杂嵌套时可能会变得难以维护。由此发展出的 状态图（Statechart） 是一种扩展，它允许状态嵌套(层次化)、并发区域(正交状态)和历史伪状态等高级特性。状态图在UML(统一建模语言)中被广泛采用，成为面向对象建模的重要组成部分。许多现代状态机库(如XState、Spring Statemachine)都支持状态图语义，并提供运行时引擎来管理事件队列、守卫条件和异步动作。
总结
综上所述，状态机是一种以有限状态、事件驱动、显式转移为核心的计算模型。它不仅是一种建模工具，更是一种编程范式：通过将系统的“行为”与“状态”解耦，状态机显著提升了代码的可读性、可维护性和正确性。从最简单的开关控制到复杂的网络协议与AI行为树，状态机始终是工程师手中最具系统化思维的利器之一。理解和善用状态机，有助于我们在构建复杂系统时始终保持逻辑的清晰与可控。