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.