Набор (Q,Σ,δ,q0,F), где Q - конечное множество состояний Σ - конечное множество входных символов (алфавит) δ:Q×Σ→Q - всюду определенная функция переходов q0∈Q - начальное состояние F⊆Q - множество допускающих состояний