Deterministik Olmayan Sonlu Durum Otomatları

Sonlu durum otomatları; çıktı üretenler ve üretmeyenler olarak ikiye ayrılır. Çıktı üretmeyenler; deterministik olmayan sonlu durum otomatları ve deterministik sonlu durum otomatlarıdır.

Sonlu Durum Otomatları

Geçişin yapılacağı tek yer olmayabilir. Durma durumuna gidilecek yol aranır. Belirli bir giriş sembolü makinedeki herhangi bir durum kombinasyonuna geçişi sağlayabilir. Yani, makinenin belirli bir durumda belirli bir sembolle hangi duruma geçiş yapabileceği tam olarak bilinmez. (Q, Σ, δ, q0, F) olarak tanımlanır.

Örnek 1:

Q = {a,b,c}

Σ = {0,1}

q0 = {a}

F = {c}

δ (Geçiş Fonksiyonu)

Şimdiki Durum0 Girdisi İçin Sonraki Durum1 Girdisi İçin Sonraki Durum
aa,bb
bca,c
cb,cc

Örnek 2:

Sonu 101 ile biten katarlar

Sonu 101 ile biten katarlar

Deterministik olmayan sonlu durum otomatları, deterministik sonlu durum otomatlarına göre problemlere daha soyut düzeyde ve daha kolay modellenebilir çözümler sunabilir.

1 yorum
Bir cevap yazın

E-posta hesabınız yayımlanmayacak. Gerekli alanlar * ile işaretlenmişlerdir

Bunları da okumak ister misiniz