FSM是有限状态机（Finite-State Machine）的缩写，它是一种用于建模计算机科学和工程中的系统行为的数学模型。有限状态机由一组状态、输入和状态转换规则组成。在任何给定时间，有限状态机只能处于有限的状态之一，在接收到输入时，它会根据状态转换规则进行状态转换。有限状态机常用于描述和实现自动控制系统、编译器、通信协议等。