15.11.2011
BİÇİMSEL DİLLER VE OTOMATLAR
ÖDEV-3
1) {a, b} alfabesi üzerinde tanımlı bir dilin kuralları şu şekilde verilmektedir:
S SaS
S b
a. Bu dil, Chomsky sınıflandırması açısından, hangi tipe girer? Bu dile ait, uzunluğu en az 10
karakter olan bir sözcük türetiniz ve –mümkünse- türetim ağacını oluşturunuz.
b. Bu dilin sözcükleri bir düzenli ifade ile temsil edilebilir mi? Bu dil için üçüncü tipten gramer
kuralları oluşturulabilir mi? Yanıtlarınız olumlu ise düzenli ifade ve grameri veriniz.
2) L = {w | w Є {a, b}* ᴧ |w| tek sayıdır ᴧ w’nin ilk, orta ve son karakteri aynıdır.}
a. Yukarıda tanımlanan dili üreten bir G gramerini oluşturunuz.
b. Bu gramer hangi Chomsky sınıfına aittir?
3) Aşağıda BNF notasyonu ile kuralları verilen gramer hangi tiptendir? Bu otomatın kabul ettiği dili
belirleyerek,özelliklerini sözlü anlatım ile açıklayınız.
(N={q0, q1, q2, q3} , S={a,b}, v0=q0 )
Kurallar:
<q0>::= ᴧ | a <q1>
<q1>::= b <q2>
<q2>::= b <q3> | b
<q3>::= a <q3> | b <q3> | a <q0> | b <q0> | a | b
4) R1, R2, n elemanlı bir küme üzerinde tanımlı küme içi ikili bağıntılar olsun.
a. t(R1) ⊆ t(R1 U R2) olduğunu gösteriniz.
b. t(R1) U t(R2) ⊆ t(R1 U R2) olduğunu gösteriniz.
Ödevlerinizi, 2 Aralık 2011 Cuma 23:00’e kadar Ninova üzerinden ‘doc’ veya ‘pdf’ uzantılı bir dosya
şeklinde teslim edebilirsiniz.