Детермінований скінченний автомат: відмінності між версіями

Словами, перша умова каже, що починає з початкового стану ''q''₀. Друга умова каже, що з кожним наступним символом з ''w'', автомат переходить зі стану в стан до функції переходу δ. Остання умова каже, що автомат примаєприймає ''w'' якщо останній символ з ''w'' спричиняє перехід автомата в один з допустимих станів. Інакше, кажуть, що автомат ''відхіливвідхилив'' рядок. Набір допустимих рядків ''M'' це [[Формальна мова|мова]] ''розпізнавана'' автоматом ''M'' і така мова позначається ''L(M)''.