有限状态机，又称有限状态自动机（FSA，finite-state automation)，是表示有限个状态在这些状态之间的转移和动作等行为的数学计算模型，有限状态机是“自动机理论”中研究的一类自动机。