


Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
Community
Ask the community for help and clear up your study doubts
Discover the best universities in your country according to Docsity users
Free resources
Download our free guides on studying techniques, anxiety management strategies, and thesis advice from Docsity tutors
Solutions to various problems related to chomsky grammars and finite automata. It includes the production rules and chomsky classes for given grammars, as well as the construction of a dfa for a specific language. The document also covers the difference between tip2 and tip3 grammars.
What you will learn
Typology: Study Guides, Projects, Research
1 / 4
This page cannot be seen from the preview
Don't miss anything!
BİÇİMSEL DİLLER ve OTOMATLAR Uygulama- Prof.Dr.A.Emre HARMANCI Yard.Doç.Dr.Osman Kaan EROL Dr.Berk CANBERK Araş.Gör.Mustafa ERSEN Araş.Gör.Gökhan SEÇİNTİ
1) = {a,b} alfabesi üzerinde tanımlı olup aaa veya bbb katarlarından birini içeren sözcüklerden oluşan dilin
a) Ait olduğu gramerin türetim kurallarını veriniz. b) Bu dilin ait olduğu gramerin (L(G)) hangi Chomsky sınıfına ait olduğunu belirtiniz. c) Bu dilin varsa düzenli ifadesini yazınız.
Çözüm:
a) Bu tip sorularda dikkatle ne istendiğini anlamak gerekir. aaa veya bbb katarlarından birini içeren sözcüklerden oluşan dil {a,b}{aaa,bbb}{a,b}^ DİKKAT!=Dilin düzenli ifadesi bu değil.
Türetim kuralları:
::= a | b | a | b ::= a
a’nın istediği kadar gelme durumu: S aS b’nın istediği kadar gelme durumu: S bS
Peş peşe 3 adet a gelme durumu: S aA aaC aaa (C’den türetilen terminal simge a ile sonlanır) Peş peşe 3 adet b gelme durumu: S bB bbD bbb (D’den türetilen terminal simge b ile sonlanır)
aaa‘yı takiben istediği kadar a veya b gelme durumu: S aA aaC aaaE aaaaE aaaa…E aaaaa… S aA aaC aaaE aaabE aaab…E aaabb… (E’den türetilen terminal simge a veya b ile sonlanır) bbb‘yi takiben istediği kadar a veya b gelme durumu: S bB bbD bbbE bbbaE bbba…E bbbaa… S bB bbD bbbE bbbbE bbbb…E bbbbb… (E’den türetilen terminal simge a veya b ile sonlanır)
b) Sol yan terminal olmayan tek simge, sağda bir kaç terminal sınıfı ya da bir kaç terminal simge ve en sağda tek bir terminal olmayan simge bulunmakta. Tip3(Sonlu durumlu otomat)
c) L(M) = (a V b)(aaa V bbb) (a V b)
2) = {a,b} alfabesinden oluşan ve L(M) = a2mb, m 0 dilini kabul eden bir DFA oluşturun.
Çözüm:
m=0 L(M) = a^0 b m=1 L(M) = a^2 b m=2 L(M) = a^4 b m=3 L(M) = a^6 b …
Tasarlanan bu DFA için başlangıç durumu s={q 0 } ve kabul edilen durum F = {q 1 }.
3) Aşağıdaki dillerin gramerlerinin üretim kurallarını bulunuz ve bu gramerlerin hangi Chomsky sınıfına ait olduğunu söyleyiniz.
a) L(G) = {anbn, n1} b) L(G) = {anbn+m, n1, m1}
Çözüm:
a) Bu tip sorularda değişkene farklı değerler vererek, dilin türetim kuralına ulaşmaya çalışırız.
n=1 ab n=2 aabb n=3 aaabbb
S aA A b | aAb BNF: ::= a ::= b | ab her a için bir b
b)
Çözüm:
a) L(M) = 0* 11 00(0 v 1)^ = 0* 1 +00(0v1)*
b) L(M) = 01(0 v 101)10(0v1)
= (010 v 0 110 1)10(0v1)*
= (0* 101 0 v 0 110 * 1 +0) (0v1)*