Ja, dann fangen wir mal an.

Vermisst jemand noch eine Korrektur des ersten Übungsblaters?

Wenn ja, eine habe ich noch da.

Irgendwas mache ich schon damit.

Dann ein paar organisatorische Sachen.

Zum einen ist am Mittwoch in einer Woche Hochschulwahl.

Ihr solltet auf jeden Fall wählen gehen, wie immer in der Demokratie.

Wählen gehen ist gut.

Auf dieser Seite hochschulwahlkompass.de findet ihr so etwas ähnliches wie den Wahl-O-MAT.

Da werden die univeiten Wahllisten alle vorgestellt.

Es gibt ein paar Fragen, die für die Hochschulwahl relevant sein könnten.

Da seht ihr schon mal, wer sich überhaupt zur Wahl stellen lässt.

Und welche Thesen die in etwa vertreten.

Am Ende zählt wählen gehen.

Also am 25.06. wählen gehen.

Ja, genau.

Das ist Mittwoch in einer Woche.

Das Wahllokal ist im K1, also da vorne neben dem H10.

Wunderbar.

Das ist das eine.

Das nächste ist die Abgabedateline für dieses Blatt 3.

Wurde um eine Woche verschoben.

Das heißt, die Abgabe ist jetzt ab dem 30.06. bis zum, was ist das dann, im 4. oder 7.

oder so was war das.

Auf jeden Fall heißt das effektiv für uns irgendwie, wann ist das?

Na, brauchen wir mehr.

Das heißt, am 1. Juli ist für euch Abgabe.

Das heißt, für diese Übung heißt es 1. Juli.

Das ist erst in zwei Wochen.

Die Idee für den Inhalt ist, dass wir jetzt ein bisschen Induktion machen, ein kleines

bisschen Co-Induktion und das nächste Mal den Rest der Induktion und den Rest der Co-Induktion

und ihr dann perfekt auf das Übungsblatt vorbereitet seid.

Und jetzt auch schon ein bisschen Induktions- und Co-Induktionsaufgaben lösen könnt und

das nicht alles in diese eine Woche quetschen müsst.

Ist es denn jetzt die letzte Abgabe?

Ne, es gibt noch eine vierte über reguläre Sprachen und Äquivalenz von regulären Sprachen.

Und also das ist so der Themenkomplex, der aus dem alten Berechenbarkeit und formale

Sprachen in Theorie der Programmierung übergeschwappt ist.

Das war, ich weiß nicht, ob es jemanden gibt, der das alte BFS gehört hat, aber anscheinend

nicht.

Genau, also da geht es darum, ich schreibe in Perl zwei Regular Expressions, sind die

denn das gleiche oder gibt es irgendwie einen String, der auf den einen Ausdruck matcht,

aber auf den anderen nicht?

Also das kommt da.

Okay, sonst noch Fragen zum Ablauf oder zum Vorlesungsverlauf?

Beziehungsweise zum Vorlesungsinhalt?

Wenn nein, dann würde ich jetzt sagen, machen wir einfach ein bisschen Induktion.

Wir hatten ja das letzte Mal schon die eine Induktionsaufgabe gemacht.

Wir hatten das letzte Mal schon gezeigt, die Übung drei, wenn wir, also folgendes,

für alle x und xs gilt, die Länge von x ist gleich der Länge von dem plus eins, also