有限状态机（FSM）是计算机科学中描述系统行为的基础数学模型，由一组有限的状态、一个初始状态、一组输入事件以及状态之间的转换规则构成，系统在任意时刻只能处于一个确定的状态。