67.2018 (Nachname Vorname | Watefatnummer | Ana, Blatter (evel DeekIat)] Priifung zur Vorlesung Theoretische Informatik I, SS 2018 Dr. Robert Legensteln Gruppe A Bs sind keine Unterlagen oder Hilfsmittel erlaubt. Hs diirfen nur einzelne, lose Blatter verwendet werden. ‘Auf jedem Blatt muss der Name und die Matrikelnummer angogeben werden. Die reine Arbeitszeit betrégt 60 Minuten. 1. Endliche Automaten # (5 P.) Geben Sie einen nichtdeterministischen endlichen Automaten (NEA) an, der folgende Sprache Uber dem Alphabet © = {a,6}* akzeptiert (Zustandsdiagramm) = (w €3"|w enthale abba als Substring.) # (5 P.) Geben Sie fr obige Sprache einen deterministischen endlichen Automaten (DEA) an. 2. Entscheidbarkeit (10 P.) Zeigen Sie dass die Sprache D=({(M,u) | Mist cine Zweiband-Turingmaschine und M schreibt fir Input w niemals cin Nicht-Blank-Symbol auf das zweite Bane. } nicht entscheidber ist Hinweis: Reduzieren Sie Avy = {(T,w)[T ist eine TM und TT akzeptiert w}. 3. P und NP # (5 P) Was ist ein Verfizierer und wie kann man NP mittels Verifaierer definteren? # (5 P) Zeigen Sie: Sei L eine belicbige Sprache. Aus L € P folgt L € P. (Wobei L das Komplement dor Sprache L ist; Lenthalt also genau die Worter die nicht in sind)At: TIT Pre rb 6d, 2018AL: Wir vetluriersin AL of D, wren, D ws ontsces te ve Dorn ypb) 22 pa, TH A stie. DP enrol eraty_f. Ni lomobugere. ere TH S$ te DD erAuborol] a foty] t S= £2 npat ~ kan ghariene Beodoeibu Sa Wye wie wna bork vehe, U Qu Zweche Cine With ~ Fabre R on! SprA* verwer Le ~ Ween Rovawiedt > abrphere tr ith folyendonma/An defrncer) (H' if 2-Bud TH) nie ban np Ww ~ Lahn Moomak J Wo tra, Lore dohei Bond 2 unberalry, ~ Wow He WA Schnee nid — Dak Spit a) fond 2, bebe in bebichipen Hod4ereohs ¢ ~ Ween Mo vanwinfl > gebe i betichre Holker MH! sebreibf fed w rid ~ Blank ~ Sou bot > R verwieft = S abeey ord Ht ket feA Ww rictf => WH! scherhl Loin Wd ~ Bern Syn bar? anf 2. banal => R ake her > S weArrnin (4 Hud, Aken Ay, itd medy anlilerd ba , Wiener » Dy din ie) D upchs eetytlristhesAB? Verifirienn: Sehr Rolie a, PUP ( ile, 16,73) » Aur LeP folyt Leff LeP >A ees. poly ed TH Yoho L arArkavalrAé , Eins TH TT! the okey herd Vet, TT war unol var inf wee. T slrephe inbrbote, [ , Mohd. psy Zeid TH. TT! = Leff,