𝛺, 𝑞1 , 𝑌), где • 𝑋 = 𝑥1 , … , 𝑥𝑛 , 𝑛 > 1 — входной алфавит • 𝑄 = 𝑞1 , … , 𝑞𝑙 , 𝑙 > 1 — множество состояний • 𝛺: 𝑋 × 𝑄 → 2𝑄 или 𝑄 —функция перехода (недетерминированная и детерминированная ) • 𝑞1 ∈ 𝑄 — начальное состояние • 𝑌 ⊆ 𝑄 — множество заключительных состояний