Deterministik sonlu durum makinesi

Vikipedi, özgür ansiklopedi
(Deterministik sonlu özdevinim sayfasından yönlendirildi)
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.