一种有限状态转换的数学模型。以数学式表示为M＝（Q，Σ，δ，q0，F）。其中Ｍ表有限自动机；A是有限集，为内部状态集；Σ是有限集，为输入字元；q0∈Q是初始状态；F?Q称为接受（终止）状态集；δ则为状态转换函数。M从q0开始，根据Σ中的x字元输入，在转换函数δ作用下，逐步改变状态，当读完Σ中ｘ字元时，即进入接受（终止）F状态，称ｘ为被有限自动机M所接受。