Yazan: Şadi Evren ŞEKER

Bir sonlu durum makinesinin formal şekilde gösterilmiş halidir. Buna göre bir otomat’ı oluşturan 5 farklı unsur bulunur. Bunlar o otomatta  bulunan durumlar (states) o otomatın durumları arası geçişlerin alabileceği semboller kümesi olan alfabe, o otomattaki durumlar ve alfabeler arasındaki geçişi gösteren fonksiyon (transition function) ve son olarak otomattaki bitiş durumlarını gösteren küme (set of accept sets) olarak sıralanabilir.

Bir sonlu otomat aşağdaki şekilde gösterilebilir:

(Q,Σ,δ,q0,F)

Q: durumlar kümesidir (states)

Σ: dilin tanımlı olduğu semboller kümesi (alfabe)

δ: geçiş fonksiyonu Q x Σ → Q

q0 ∈ Q , Q kümesinin bir elemanıdır ve başlangış durumunu (state) gösterir

F ⊆ Q , Q kümesinin bir alt kümesi olan F kümesi, otomatın kabul ettiği bitiş durumlarını gösterir.

Örneğin aşağıda verilmiş olan sonlu durum makinesini sonlu otomat şeklinde yazalım:

fsm.jpg

Q: { q1,q2,q3 }

Σ: {0,1}

δ:

0 1

q1 başlangıç durumudur.

F = { q2 }

olarak atanır.

Bir Cevap Yazın

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


iki × 6 =