Sayfa#1(A0 Kitapçığı) Manisa Celal Bayar Üniversitesi Yazılım Mühendisliği Bölümü YZM 3229- Biçimsel Diller ve Otomata Teorisi Final Sınavı Örnek Soruları A0 KİTAPÇIĞI Bahar 2017-2018 Süre: 45 Dakika Adı ve Soyadı Öğrenci Numarası Grubu İmza Tarih Not /105 NOTLAR: 1. Süre, 45 dakikadır. 2. Her soru 7 puan değerindedir. Yanıt Şablonu:
Sayfa#2(A0 Kitapçığı) Soru#1: Aşağıda bir belirli sonlu durum otomatı (deterministic finite automata, DFA) verilmiştir: Buna göre, verilen DFA ile ilgili olarak, I. 10 içeren ve 1 ile sonlanan girdi stringlerini kabul eder. II. 10 ve 01 içeren ve 1 ile sonlanan girdi stringlerini kabul eder. III. 10011001 girdi stringi ilgili makine tarafından kabul edilir. Yukarıdaki ifadelerden hangisi ya da hangileri doğrudur? Soru#2: Aşağıda bir sonlu durum otomatı (finite automata, FA) verilmiştir: Buna göre, verilen FA ile ilgili olarak, I. n ve m bire eşit ya da daha büyük olmak şartıyla, a n b m şeklindeki örüntülere sahip girdi stringleri ilgili makine tarafından kabul edilir. II. aaabbb girdi stringi ilgili makine tarafından kabul edilir. III. aaaaabb girdi stringi ilgili makine tarafından kabul edilir. Yukarıdaki ifadelerden hangisi ya da hangileri doğrudur? A) Yalnız I B) Yalnız II C) Yalnız III D) II ve III E) I, II ve III Soru#3: Yukarıda verilen belirsiz sonlu durum otomatının (nondeterministic finite state otomata, NFA) dilinin tümleyeni aşağıdakilerden hangisinde verilmiştir? A) B) { } C) a* D) {a, } E) a
Sayfa#3(A0 Kitapçığı) Soru#4: Yukarıda verilen sonlu durum otomatında 0011 girdi stringinin erişebildiği tüm durum seti aşağıdakilerden hangisinde verilmiştir? A) {q0, q1, q2} B) {q0, q1} C) { q3} D) {q2} E) {q0, q1, q2,q3} Soru#5: L= {ab, aa, baa} şeklinde bir dil tanımlaması sunulmaktadır. Buna göre, I. abaabaaabaa II. aaaabaaaa III. baaaaabaa Yukarıda verilen girdi stringlerinden hangileri L* diline aittir? Soru#6: İçerikten bağımsız gramerde, S, başlangıç sembolünü, a ve b terminalleri ve, boş girdi stringini temsil etmektedir. S asa bsb a b Buna göre, yukarıda verilen üretim kuralları kullanılarak ilgili içerikten bağımsız gramer ile aşağıdaki girdi stringlerinden hangisi elde edilemez? A) aaaa B) baba C) abba D) babaaabab E) aa Soru#7: {a, b} alfabesi üzerinde tanımlı, S -> asa bsb a b şeklinde verilen içerikten bağımsız gramer ile ilgili olarak, I. Çift uzunluklu tüm palindromlar ilgili gramere aittir. II. Tek uzunluklu tüm palindromlar ilgili gramere aittir. III. ababa girdi stringi ilgili gramer ile elde edilebilir. Yukarıda verilen ifadelerden hangileri doğrudur? A) Yalnız I B) Yalnız II C) I ve II D) II ve III E) I, II ve III
Sayfa#4(A0 Kitapçığı) Soru#8: Yukarıda verilen sonlu durum otomatı ile ilgili olarak aşağıdakilerden hangisi doğrudur? A) İlgili sonlu durum otomatı, yalnızca aababb ön eki ile başlayan girdi stringlerini kabul eder. B) İlgili sonlu durum otomatı, yalnızca aababb ön eki içermeyen girdi stringlerini kabul eder. C) İlgili sonlu durum otomatı, aababb karakterlerini içeren girdi stringlerini kabul eder. D) İlgili sonlu durum otomatı, yalnızca aababb son eki ile biten girdi stringlerini kabul eder. E) İlgili sonlu durum otomatı, yalnızca aababb ön eki ile başlayan ya da aababb son eki ile biten girdi stringlerini kabul eder. Soru#9: {0, 1} alfabesi üzerinde tanımlı, (0+1)*0(0+1)*0(0+1)* şeklinde verilen düzenli ifadenin dili ile ilgili olarak aşağıdakilerden hangisi doğrudur? A) İlgili ifadenin dili birbiri ardına gelen iki tane 0 içeren girdi stringleridir. B) İlgili ifadenin dili en çok iki tane 0 içeren girdi stringleridir. C) İlgili ifadenin dili en az iki tane 0 içeren girdi stringleridir. D) İlgili ifadenin dili sadece iki tane 0 içeren girdi stringleridir. E) 0 ya da 1 ile başlayan ve sonlanan tüm girdi stringleri ilgili ifadenin dilidir. Soru#10: Aşağıda bir belirli sonlu durum otomatı (deterministic finite automata, DFA) verilmiştir: Buna göre, ilgili belirli sonlu durum otomatı 001001010, 1001011, 0100100, 10011011 ve 010 şeklinde verilen girdi stringlerinden kaç tanesini kabul eder? A) 1 B) 2 C) 3 D) 4 E) 5
Sayfa#5(A0 Kitapçığı) Soru#11: Aşağıda bir içerikten bağımsız gramer (context free grammer, CFG) verilmektedir: E EEO N O + - * / N 0 1 2 3 4 5 6 7 8 9 Buna göre, I. 44+ II. 321-* III. 345-+9* Yukarıda verilen türetmelerden hangileri yukarıdaki içerikten bağımsız gramer ile elde edilebilir? Soru#12: Aritmetik ifadelere ilişkin bir içerikten bağımsız gramer aşağıda sunulmuştur: E E+E E*E (E) N N D DN D 0 1 2 3 4 5 6 7 8 9 Yukarıda verilen içerikten bağımsız gramer ile ilgili olarak, I. 2+3*5 türetmesi ilgili içerikten bağımsız gramer ile elde edilebilir. II. İlgili içerikten bağımsız gramer ile aynı türetme için birden fazla ayrıştırma ağacı oluşturulabilir. III. İlgili içerikten bağımsız gramer anlam belirsizdir. Verilen ifadelerden hangisi ya da hangileri doğrudur? Soru#13: Aşağıda üç tane küme verilmektedir: I. {0, 1}* II. {1}* {0}* {1}* III. {11} {1}* {01} Buna göre, 11101 girdi stringi yukarıdaki kümelerde verilen ifadelerden hangileri ile türetilebilir? Soru#14: Aşağıda bir belirsiz sonlu durum otomatı (nondeterministic finite automata, NFA) verilmiştir: Buna göre, I. aabaaaa II. aababaaa III. baa Yukarıdaki girdi stringlerinden hangisi ya da hangileri ilgili NFA tarafından kabul edilir? A) Yalnız I B) Yalnız II C) Yalnız III D) I ve III E) I, II ve III
Sayfa#6(A0 Kitapçığı) Soru#15: Aşağıdakilerden hangisinde art arda iki tane 0 içeren tüm girdi stringlerini kabul eden dile ilişkin belirli sonlu durum otomatı verilmektedir? A) B) C) D) E)