Sayfa#1(A 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ı Soruları A 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(A Kitapçığı) Soru#1: Aşağıda bir belirli sonlu durum otomatı (deterministic finite automata, DFA) verilmiştir: verilen DFA ile ilgili olarak, I. 0000 içeren ve 11 ile sonlanan girdi stringlerini kabul eder. II. 0000011 girdi stringi ilgili makine tarafından kabul edilir. III. 01001011 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: verilen FA ile ilgili olarak, I. n ve m sıfıra 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
Sayfa#3(A Kitapçığı) 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 Soru#4: Aşağıda bir belirli sonlu durum otomatı (deterministic finite automata, DFA) verilmiştir: yukarıda verilen DFA, 10010, 0110111, 0010010, 100111001 ve 010100 olarak verilen beş tane girdi stringinden kaç tanesini kabul eder? A) 1 B) 2 C) 3 D) 4 E) 5 Soru#5: L= {ab, aa, baa} şeklinde bir dil tanımlaması sunulmaktadır. I. abababaabaaaa II. aaaaaabaa III. baaaaabaaaab 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 I. ababa II. bab III. babaabab Verilen içerikten bağımsız gramer ile yukarıdaki girdi stringlerinden hangileri elde edilebilir? A) Yalnız I B) Yalnız II C) I ve II D) II ve III E) I, II ve III
Sayfa#4(A Kitapçığı) Soru#7: İçerikten bağımsız gramerde, S, başlangıç sembolünü, A değişkeni, a, ve b terminalleri ve, boş girdi stringini temsil etmektedir. S as A A aab baa ϵ I. aabaaba II. aabaaba III. aabbaab Verilen içerikten bağımsız gramer ile yukarıdaki girdi stringlerinden hangileri elde edilebilir? 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: Aşağıda bir sonlu durum otomatı (finite automata, FA) verilmiştir: I. b*ab*ab*ab* II. (a+b)* III. b*a(a+b)* Yukarıda verilen düzenli ifadelerden hangisi ya da hangileri verilen sonlu durum otomatının tanıdığı dili tanımlamak için kullanılabilir? A) Yalnız I B) Yalnız II C) Yalnız III D) II ve III E) I, II ve III
Sayfa#5(A Kitapçığı) Soru#10: Aşağıda bir belirli sonlu durum otomatı (deterministic finite automata, DFA) verilmiştir: I. {0}* II. {0} {0}* III. {1} {0}* Yukarıdaki kümelerde verilen ifadelerden hangileri ilgili DFA tarafından tanınmaktadır? Soru#11: Aşağıda üç tane içerikten bağımsız gramer (context free grammer, CFG) verilmektedir: CFG#1 CFG#2 CFG#3 E EEO N O + - * / N 0 1 2 3 4 5 6 7 8 9 E EOE N O + - * / N 0 1 2 3 4 5 6 7 8 9 E OEE N O + - * / N 0 1 2 3 4 5 6 7 8 9 I. CFG#1 içerikten bağımsız grameri ile 345-+9* türetmesi elde edilebilir. II. CFG#2 içerikten bağımsız grameri ile 4+5 türetmesi elde edilebilir. III. CFG#3 içerikten bağımsız grameri ile +++1234 türetmesi elde edilebilir. Yukarıda verilen ifadelerden hangisi ya da hangileri doğrudur? Soru#12: Bir içerikten bağımsız gramer aşağıda sunulmuştur: L 1L L0 10 0 1 Yukarıda verilen içerikten bağımsız gramer ile ilgili olarak, I. 1000 girdi stringi ilgili içerikten bağımsız gramer ile türetilebilir. 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. {11} {1}* {01} II. {11}* {01}* III. {111}* {0}* {1} 11101 girdi stringi yukarıdaki kümelerde verilen ifadelerden hangileri ile türetilebilir? A) Yalnız I B) Yalnız II C) Yalnız III D) I ve III E) I, II ve III
Sayfa#6(A Kitapçığı) Soru#14: Aşağıdakilerden hangisinde en az iki tane 0 içeren tüm girdi stringlerini kabul eden dile ilişkin belirli sonlu durum otomatı verilmektedir? A) B) C) D) E)
Sayfa#7(A Kitapçığı) Soru#15: Aşağıda iki tane sonlu durum otomatı verilmektedir: Sonlu Durum Otomatı#1 Sonlu Durum Otomatı#2 I. Sonlu durum otomatı#1, {0, 1} alfabesi üzerinde tanımlı ve sonu 11 ya da 000 ile biten girdi stringlerini kabul eden otomattır. II. Sonlu durum otomatı#1 ve sonlu durum otomatı#2, belirsiz sonlu durum otomatıdır. III. Sonlu durum otomatı#1 in dili A ile temsil edilmek üzere, sonlu durum otomatı#2 nin dili A* ile temsil edilebilir. Yukarıda verilen ifadelerden hangisi ya da hangileri doğrudur? A) Yalnız I B) Yalnız II C) Yalnız III D) I ve III E) I, II ve III