Deterministik sonlu durum makinesi

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.

Taslak simgesiBilgisayar ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz.