01.12.2011
BİÇİMSEL DİLLER VE OTOMATLAR
ÖDEV-4
1)
a) (aVb)*abb(aVb)* ifadesini kabul eden NFA’yı oluşturunuz.
b) Oluşturduğunuz NFA’yı DFA’ya dönüştürünüz.
c) b’de elde ettiğiniz DFA’yı –gerekliyse- indirgeyerek; indirgenmiş DFA’nın durum/geçiş
diyagramını çiziniz.
2) Aşağıda bir determinist sonlu durumlu otomatın durum/geçiş tablosu moore modelinde
verilmiştir.
K = {q0, q1, q2, q3, q4, q5,q6, q7 }, F= {q0, q5, q6} Σ ={a, b, c}, s = {q0},
a
b
c
Çıkış
q0
q1
q7
q7
1
q1
q2
q3
q4
0
q2
q2
q5
q7
0
q3
q6
q3
q7
0
q4
q3
q2
q7
0
q5
q1
q7
q7
1
q6
q1
q7
q7
1
q7
q7
q7
q7
0
a) Tablo üzerinde –gerekli ise- durum indirgemesi yapınız.
b) Yukarıdaki tanımlar ve durum/geçiş tablosunu göz önünde bulundurularak, tanımlanan
DFA’nın durum/geçiş diyagramını çiziniz.
c) Bu DFA aşağıdaki ifadelerden hangisini (hangilerini) düzenli ifade olarak kabul edebilir?
Tartışınız.
i. L(M) = {a[(b V ca)b* a V (a V cb)a*b]}*
ii. L(M) ={a[(b V ca)b* a V (a V cb)a*b]}+
iii. L(M) = {a[(b V c)b a V (a V cb)ab]}*
3) Aşağıda verilen determinist otomata ilişkin düzenli ifadeyi sistematik yolla bulunuz. Ara adımlarda
oluşan ifadeleri sadeleştiriniz.
Ödevlerinizi, 14 Aralık 2011 Çarşamba 23:00’e kadar Ninova üzerinden ‘doc’ veya ‘pdf’ uzantılı bir
dosya şeklinde teslim edebilirsiniz.
