Конечным автоматом называется пятерка вида А = (K, ∑, δ, p0, F), где K – конечное множество состояний; ∑ – алфавит; δ – функция Ответ; p0 – начальное состояние; F – множество заключительных состояний.