Scribd Logo
Upload

Welcome to Scribd!

  • Theoritische Grundlage Der Informatik Altklausur - Tuberlin

    Uploaded by

    Vyola Maldini
    11 views18 pages

    Original Title

    Theoritische Grundlage der Informatik altklausur_tuberlin

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document

    Copyright:

    © All Rights Reserved
    Download as PDF or read online from Scribd
    Flag for inappropriate content
    11 views18 pages

    Theoritische Grundlage Der Informatik Altklausur - Tuberlin

    Uploaded by

    Vyola Maldini

    Copyright:

    © All Rights Reserved
    Download as PDF or read online from Scribd
    Flag for inappropriate content
    of 18
    Name: ‘Matrikel-Ne Theoretische Grundlagen der Informatik Prof. Dr. Henning Sprekeler Endklausur Berlin, 26. Juli, 2018 Allgemeine Hinweise: Es sind keinerlei Hilfsmittel erlaubt Bitte beschriften Sie jedes Blatt mit Ihrem Vor- und Nachnamen, sowie Ihrer Ma- trikelmmmmer Bitte dberpriifen Sie, ob Sie alle 18 Bhitter vorliegen haben. Auf den letzten Seiten befindet sich extra Plate fiir Ihre Lésungen, Es muss er- sichtlich sein, auf welche Aufgabe Sie sich dort beziehen. Bei Bedarf kénnen Sie zusiitzliche Ieere Blatter von uns bekommen (Name und Matrikelaummer nicht. vergessen!) Schreiben Sie nicht mit Bleistift, radierbaren Stiften oder Rotstift und benutzen, Sie kein Tipp-ex. Im Folgenden enthalten die natitrlichen Zablen NV die Null. Also N:= {0,1,2,. Viel Exfolg! Aufgabe [| Punkte 1 iG 2 9 3 ia a i9 5 a 6 i 7 a 8 8 9 12 0 i i io 12 [8 Bearbeitungszeit: 150 Minuten 13 5 Max. Punktzahl: 100 Punkte B E (100 1 von 18 Name: ‘Matrikel-Nr. Aufgabe 1. Aussagenlogik (6 Punkte) 1, Sei p falsch, ¢ war und r walr, Geben Sie den daraus folgenden Wabrheitswert folgender Aussagen an. a) a(rAgvp b) Pa gatrog 2 itstabelle, ob (p Vg) A (=p + 79) und g logiseh, fiquivalent sind, Fiillen Sie die Tabelle daz vollstiindig aus. pia P/F Fl W wi F wiw 3. Zeigen Sie mit den Rechenregeln der Aussagenlogik, dass die logischen Formeln =p A (q > p) und >(p V q) logisch aiquivalent sind. Verwenden Sie in jedem Schritt nur ein einzelnes Umformungsgesetz. Die verwendeten Umformungsge- setze miissen nicht genannt werden, Hinweis: Fir die volle Punktzahl sind mindestens fiinf Umformungsschritte erfor- derlich, 2von 18 Name: ‘Matrikel-Nr. Aufgabe 2. Prédikatenlogik (9 Punkte) 1, Formalisieren Sie folgende Aussagen als priidikatenlogischen Ausdruck iber den Mengen der Menschen M und der Tage T. Verwenden Sie dabei das Pritdikat p(x, #) =". h am Tag ¢ Geburtstag ” a) Jeder Mensch hat Geburtstag, b) Es gibt Menschen, die am selben Tag Geburtstag haben. ©) Es gibt Tage, an denen niemand Geburtstag hat. jen p(x) und r(.r) Priidikate, Negieren Sie die folgende logische Formel und for- men Sie die dabei entstandene Formel schrittweise so um, dass kein Negationszet- chen mehr vor einem Ausdruck mit mel als einem Priidikat steht: Are: Vy = (r(x) + =p(w)) v pla) 3 von 18 Name: Matrikel Aufgabe 3. Mengen (4 Punkte) 1, Werten Sie folgenden Term schrittweise aus, bis keine Symbole auBer 0, {,}.0,b und Kommata mehr im Term enthalten sind. P bezeichnet hier die Potenzmenge. (Pao) \ Pad) 9 (fa}U{0}}) 2. Betrachten Sie folgendes Venn-Diagramm der Mengen A, B und €. Driicken Sie die im Diagramm markierte Menge durch die Mengen A,B,C und die Mengen- operationen Vereingung, Schnitt, Differenz, und Komplement aus (U,9,\ und) von 18 Name: Matrikel Aufgabe 4, Relationen (9 Punkte) Gegeben sei die Menge aller Studierenden $ sowie die Relationen Ry, Ro, Ry CS x 8 {(2,y) | © und y studieren im setben Fachsemester} und Ra :={ (x,y) | © studiert in einem héheren Fachsemester als y} und ert im selben oder i nem hdheren Fachsemester als y} 1. Geben Sie in der folgenden Tabelle an, welche Bigenschaften die Relationen Ry Ry und Ry erfiillen: reflexiv | symmetrisch | transitiv | antisymmetrisc 4 | Jal) Nein | JaQ Nein | JaCi Nein) | Ja Neint Ry | Ja Nein | JaO NeinO | Ja Nein} JaO NeinO Fy | Jal] Nein | JaQ Nein | Jat} Nein) | Ja Nein 2. Geben Sie in der folgenden Tabelle an, ob es sich bei den Relationen Ry, Ry und Ry um Aquivalenzrelationen und/oder Halbordnungen handelt: Aquivalenzrelation | Halbordmng Ri | Ja Nein | Ja Nein Ry | Jal Nein | Ja Nein Ry | Ja Nein | Jad Neind 5 von 18 Name: ‘Matrikel-Nr. Aufgabe 5. Sprachen & Grammatiken I (9 Punkte) Sei G = ({8, B.C} {a,b,c}, PS) eine Grammatik mit P={ S—aSa| BC 0B > Ba, 1. Geben Sie fiir jeden Chomsky-Typ an, waruan die Grammatil von diesem Typ ist oder nicht, Geben Sic das kiirzeste Wort an, welches von der Grammatik G erzeugt werden kann, das nicht mit @ heginnt, aber mit a endet. Geben Sie dazn eine Ableitungs- folge an, die dieses Wort erzeugt. 3. Geben Sie die von G erzeugte Sprache als Menge an. 6 von 18 Name: ‘Matrikel-Nr. Aufgabe 6. Sprachen & Grammatiken IT (7 Punkte) Geben Sie eine Grammatik vom angegebenen Chomsky-Typ fiir die nachfolgenden Spra- chen iiber dem Alphabet = {a,b} an. Hinweis: Es geniigt, wenn Sie die Regeln angeben und die Startvariable mit $ benennen, Nach dem Tupel ist nicht gefraat. 1, Eine reguldire Grammatik fiir Ly = {w € {a,5}" | w enthalt nicht die Zeichenkette aba} 2. Kine kontextfreie Grammatik fitr La = {w € {a,b}’ | w =w® A (|| ist durch 4 teilbar)}. 7 von 18 Name: ‘Matrikel-Nr Aufgabe 7. Endliche Automaten (9 Punkte) 1. Geben Sie einen deterministischen eudlichen Automaten (DFA) graphisch an, der genau folgende Sprache = {0,1} akzeptiert 11 = {w € {0,1}* | w enthalt genau cinmal die Zeichenkette 01} Hinweis: Nach dem Tupel ist nicht gefragt: 2, Geben Sie cinen nicht-deterministischen endlichen Automaten (NFA) graphisch an, der genau folgende Sprache ber dem Alphabet © = {a,b} akzeptiert La = L{(blab)(aba)*) Hinweis: Nach dem Tupel ist nicht gefrage 8 von 18 Name: ‘Matrikel-Nr. Aufgabe 8. Minimierung eines Automaten (8 Punkte) Gegeben sei der DFA M = ({20, 21, 22.23, 24. 25,20} {0,1} 6, 20, {24, 25}) mit folgender Uberfithrungsfunktion 6 1, Konstruicren Sie mit Hilfe des Minimierungsverfahrens fiir deterministische endli- che Automaten einen équivalenten minimalen DFA M’, Piillen Sie dazu folgende ‘Tabelle aus und geben Sie die resultierenden Aquivalenzklassen an, Aquivalenzklassen: le tH Stellen Sie den Minimalautomaten M’ graphisch dar. Hinweis: Nach dem Tupel ist nicht gefragt 2. Geben Sie die von dem Automaten M akzeptierte Sprache an. 9 von 18 Name: ‘Matrikel-Nr Aufgabe 9. Rechtskongruenz (12 Punkte) Wir betrachten die folgende Sprache tiber dem Alphabet ¥ = {a,b}: Lex {bby U fay? Die Rechtskongruenz Ry CE" x D* fiber einer Sprache LC ¥:* ist definiert als (ry) € Ry & (Yw EE" saw EL ywE L) 1, Stellen Sie einen deterministischen endlichen Automaten (DFA), der genau die Sprache L akzeptiert, graphiseh dar. Hinweis 1: Nach dem Tupel ist nicht gefragt Hinweis 2: Ein minimaler Automat ht fiinf Zustiinde. 2. Zeigen Sie fiir drei von Thnen frei gewiihlte Wérter x1, 2 und :r9, dass diese paarwei- se nicht in Relation beziiglich Ry, stehen. Das heiBt, zeigen Sie dass (wr1,72) ¢ Rr, (x1,03) ¢ Re und (12,03) ¢ Re, 3, Geben Sie fir jede Aquivalenzklasse vou Ry einen Repriisentanten sowie die Menge der darin enthaltenen Worter an. 10 von 18, Name: Matrikel Aufgabe 10. CYK-Algorithmus (5 Punkte) Gegeben sei die Grammatik G := (V, {a,b}, P.S) mit V:= {8,X, A, B} und S+AA|BB, A= AS Ia, BAXB\b, X + SB} iiberpriifen Sie mit dem Algorithmns von Cocke, Younger und Kasami jeweils, ob die Worter baat) und baabbb in L(G) enthalten ist. Filllen Sie dafiir die folgende Tabelle vollstindig aus, Geben Sie fiir jedes der beiden Worter an, welche Tabelleneintrige anzeigen, ob das Wort in L(G) enthalten ist oder nicht. bl al al bl ob) 6 1 2 o 3 ojo 4 olojo 5 ojojolo 6 oj/ojojolo LL von 18, Name: Matrikel Aufgabe 11. Kellerautomat (6 Punkte) Gegeben sei die Sprache L tiber dem Alphabet © = {a,b} L=(a"0" |nmeN Andm) Stellen Sie einen Kellerautomaten graphisch dar, der genau die Sprache L akzeptiert. Hinweis: Nach dem Tupel ist gelragt Geben Sie die Zustandsfolge und den Kellerinbalt Ihres Kellerautomaten unter Einlesen des Wortes abbb an und begriinden Sie, weshalb Ihr Automat das Wort akzeptiert Hinweis: Geben Sie cine Zustandsfolge auch dann an, wenn Sie wissen, dass ilir Automat nicht korrekt ist, Restwort | abbb Zustand Kelleriuhalt | # 12 von 18, Name: Matrikel Aufgabe 12, Turingmaschinen (8 Punkte) Betrachten Sie die Turingmaschine M = (Z,¥,0',6,20,01,0) mit Z = {20,21, 22,28,24), B= {o,b}, T= {a,b,0} und folgender Sherfiihrungsrelation 6: a/afR ) aj} —___( 23) bjofL \_/ 1. Geben Sie die Konfigurationsfolge obiger Turingmaschine unter Binlesen des Wor tes aaab au. 13 von 18, Name: Matri el-Nr 2, Betrachten Sie nun die folgende Sprache Z itber dem Alphabet 2 Le={a"b™ |[n,meN A ném} Stellen Sie eine deterministische, einbiindige Turingmaschine, die genau d che akzeptiert, graphisch dar. Hinweis 1: Nach dem Tupel ist nicht gofrast Hinweis 2: Sie kéunen (miissen aber nicht) die Turingmasehine von zuvor (noch einmal unten) vervollstandigen, indem Sie zustitzliche (End-)Zustiinde umd Tran sitionen einfiigen. Hinweis 3: Kennzeichnen Sie eindeutig Ihre endgiiltige Lésung, Spra- a/ajR a a> b/ofR o/o/L 4 2 b/O/L 1d von 18, Name: ‘Matrikel-Nr. Aufgabe 13. Entscheidbarkeit (5 Punkte) Bei den folgenden Fragen ist jeweils genau eine Antwortmoglichkeit richtig, Kreuzen Sic diese an. Fiir jede korrekt, beantwortete Frage gibt es einen Punkt, Fiir falsch oder gar nicht beantwortete Fragen gibt es keinen Punkt, 1. Pir die Redu arkeitsrelation < und alle Sprachen A und B gilt immer © falls A < B, so ist A genau dann entscheidbar, wenn B entscheidba ist © falls A < B, so ist A genau dann nicht-entscheidbar, wenn B entscheidbar ist © falls A< B und A nicht entscheidbar, so ist auch B nicht entscheidbar. © falls A < B, so sind weder A noch B entscheidbar. jen A und B zwei semi-entscheidbare Sprachen, dann gilt immer © ANB ist entscheidbar © ANB ist nicht entscheidhar falls B = A, dann sind A und B nicht entscheidbar. falls B = A, dann sind A und B entscheidbar. 3. Welche der folgenden Aussagen stimmt? © dede durch eine Grammatik erzeugbare Sprache ist semi-entscheidbar OK durch eine Grammatik erzengbare Sprache ist semicentscheidbar © Es gibt reguliire Sprachen, die nicht entscheidbar sind. (© Das Komplement einer reguliiren Sprache ist nicht entschei R die Menge aller Turing-berechenbaren Funktionen, Der Satz =Die Sprache w | die von der Turingmaschine My berechnete Funktion liegt in S} ist nicht entscheidbar.” silt fiir alle Mengen S CR. nur endlich viele Mengen & CR. unendlich viele, aber nicht alle Mengen S CR. keine Menge SCR. 5. Welche der folgenden Aussagen ber Turingmaschinen stimmt? © &u jeder Turingmaschine M gibt es ein auf a nicht hilt. abewort

    You might also like