有限オートマトン（ゆうげん-、（）英:finiteautomaton)または有限状態機械（ゆうげんじょうたいきかい、（）英:finitestatemachine,FSM）とは、有限個の状態と遷移と動作の組み合わせからなる数学的に抽象化された「ふるまいのモデル」である。
有限状态机（英语：finite-statemachine，缩写：FSM）又称有限状态自动机，简称状态机，是表示有限个状态以及在这些状态之间的转移和动作等行为的数学模型。