Deterministik sonlu durum makinesi

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

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.