Prof. Dr. R. Laue                                                                                                                                  WS0203
                                Informatik III
                                Übungsblatt 1
                                Abgabe: 24.10. nach der Vorlesung

URL:         /axel/informatik3_ws0203_blatt1.html
Dieses  Übungsblatt ist alleine zu bearbeiten.
 

Aufgabe 1 (13 Punkte)
Geben Sie reguläre Ausdrücke an für folgende Sprachen:

  • a) Zeichenketten über {a,b,c}, wo das erste a vor dem ersten b kommt.(1 Punkt)
  • b) Zeichenketten über {a,b,c} mit einer ungeraden Anzahl von a.(2 Punkte)
  • c) binäre Zahlen, die ein Vielfaches von 4 sind. (1 Punkt)
  • d) binäre Zahlen, die größer als 101001 sind. Dabei ist die Ziffer der niedrigsten 2-er Potenz rechts geschrieben. (2 Punkte)
  • e) Zeichenketten über {a,b,c}, die die Teilzeichenkette aabaabc enthalten.(2 Punkte)
  • f) nicht negative Integer Konstanten in C, die entweder in Dezimal oder Oktalschreibweise (siehe C-Manual) gegeben sind. (2 Punkte)
  • g) Nachnamen aller Bundeskanzler der Bundesrepublik Deutschland (1 Punkt)
  • h) Alle 6-stelligen Zahlen, die man aus den Ziffern ihrer 6-stelligen Matrikelnummer bilden kann. (2 Punkt)

  • Aufgabe 2 (10 Punkte)
    Beweisen Sie, daß folgende Dinge nicht von einem endlichen Automaten erkannt werden können:

  • a) Zeichenketten über {a,b} mit mehr b's als a's. (3 Punkte)
  • b) Zeichenketten über {p,a,l}, die Palindrome sind, d.h. vorwärts und rückwärts gelesen ergeben sie das gleiche Wort (3 Punkte)
  • c) die Menge der syntaktisch korrekten C Programme. (4 Punkte)

  • Aufgabe 3 (2+2+3 Punkte)
    Geben Sie je einen endlichen Automaten (Definition und Zustandsgraph) zur Erkennung der Sprachen aus 1b,1e,1h an.