yeniden dfa :)

Soru: Alfabemiz Σ={0,1,2} den oluşsun. L1={ w € Σ*: w 0 ile başlıyor veya 0 ile bitiyor fakat her iki durum söz konusu değil }

Buna göre L1 dilini tanıyan DFA’yı oluşturun. Açıklayınız.

Not = € (elemanıdır manasına geliyor)

Çözüm:

L1 diline ait  dfa yukaridaki gibidir.

5 tane durumumuz var : q0,q1,q2,q3,q4. Eğer O ile başladıysak O ile DFA yı bitiremeyiz. Bu yüzden O ile q3 durumuna ulaşmayız. Yukardaki gibi  q1 durumuna O ları götürebiliriz. Eğer 1 veya 2 ile başladıysak O ile bitirmemiz gerek. Aksi taktirde şartımız şağlanmaz.

chomsky hiyerarşisi

en basit şekilde chomsky hiyerarşisi aşağıdaki gibidir.

Tip 0: yinelemeli sıralı diller (kısıtlamasız dilbilgisi)
Tip 1: context-sensitive diller (context-sensitive dilbilgisi)
Tip 2: context-free diller (context-free dilbilgisi)
Tip 3: düzenli (regüler) diller (sağ-doğrusal ve sol-doğrusal dilbilgileri)

Dileri tanıyan modeller ise şöyle:

Tip 0: Turing Makinesi
Tip 1: Doğrusal Sınırlandırılmış Otomat (Linear Bounded Automata)
Tip 2: Pushdown Otomat
Tip 3: Sonlu Otomat(NFA,DFA)