Приклад

Наступний приклад ДСА М, з двійковою абеткою, який розпізнає рядки з парною кількістю 0.

Діаграма станів для M

M = (Q, Σ, δ, q₀, F) де

§ Q = {S₁, S₂},

§ Σ = {0, 1},

§ q₀ = S₁,

§ F = {S₁}, і

§ δ визначена наступною таблицею переходів:

Стан S₁ показує, що во вхідних даних, опрацьованих на даний час, зустрілась парна кількість 0, тоді як S₂ вказує на непарну кількість. 1 на вході не змінює стану автомата. По завершені введення даних, стан буде вказувати чи зустрілась парна кількість 0. Якщо зустрілась парна кількість 0, M опиниться в стані S₁, допустимий стан, тож поданий на вхід рядок буде розпізнаний.

Мова розпізнавана M це регулярна мова задана регулярним виразом

де "*" це зірка Кліні, тобто, 1* позначає будь-яку кількість (можливо нуль) символів "1".