Набор (Q,Σ,δ,Q0,Qf), где Q – конечное множество (внутренних) состояний автомата Σ – конечное множество (входных) символов (алфавит) Q0⊆Q – множество начальных состояний Qf⊆Q – множество заключительных состояний δ – всюду определенная функция переходов: δ:Q×Σ→2Q