Deterministik sonlu durum makinesi

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

Yalnızca 3'ün katı olan ikili sayıları kabul eden bir deterministik sonlu durum makinesi örneği.

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