状态机是一种表示有限个状态以及在这些状态之间转换的数学模型。它通常由一个初始状态，一个或多个目标状态，以及在不同的输入条件下将当前状态转换到新的目标状态的转换函数所表示。它可以用来描述和分析复杂的行为，例如有限自动机、图形识别和AI中使用的决策树。