АВТОМАТ

Автомат – некая математическая модель: <Q, X, δ, q₀, Q’>, где Q – множество состояний, X – множество входных символов (алфавит), δ – функция перехода: δ(q,X)q’– конкретное правило, q₀ – одно единственное входное состояние: q₀Q, Q’ – множество конечных состояний.

Конечное состояние будем помечать так:

где x – входная цепочка, y – выходная цепочка