Deterministik sonlu durum makinesi (İngilizce: deterministic finite automaton), non-determinisitik sonlu durum makinesinin (NFA) ozel bir şeklidir.
NFA'dan farklı olarak, ε (epsilon) gecişi yoktur. Bir durumdan bir geciş semboluyle en fazla bir tane duruma gidilebilir.
__________________