有限状态机（Finite State Machine，FSM）是一种计算模型，用于描述系统在不同状态间的转换行为。它由一组有限的状态、触发状态转换的事件以及状态间的转移规则构成。每个时刻系统仅处于一个确定状态，当特定事件发生时，系统会根据预设规则切换到另一个状态。这种模型因其简洁性和可预测性，被广泛应用于硬件设计、软件工程和控制系统等领域。
在具身智能产品开发中，有限状态机常被用来建模机器人的行为逻辑。例如服务机器人的「待机-导航-执行-返回」工作流程，或工业机械臂的「拾取-定位-装配」操作序列。通过明确定义状态转换条件和边界，开发者可以构建出稳定可靠的行为控制器。当前主流机器人操作系统（如ROS）中的状态机实现（如SMACH），正是这一思想的工程化延伸。