Конечный (детерминированный) автомат без выхода –
это A = (A,Q,ψ,q1,F),
где A = {a1,...,an}, n ≥1, – входной алфавит;
Q = {q1,...,qr}, r ≥1, – множество состояний;
ψ : A×Q → Q – функция переходов;
q1 ∈ Q – начальное состояние;
F ⊆ Q – множество заключительных состояний.
Содержательно конечный автомат без выхода A = (A,Q,ψ,q1,F) можно понимать в виде абстрактного устройства (распознавателя):
