Deterministik sonlu durum makinesi

Deterministik sonlu durum makinesi (İngilizce: deterministic finite automaton), non-determinisitik sonlu durum makinesinin (NFA) özel bir şeklidir.

NFA'dan farklı olarak, ε (epsilon) geçişi yoktur. Bir durumdan bir geçiş sembolüyle en fazla bir tane duruma gidilebilir.

Sonlu durum makineleri