Theoretische Informatik 1+2

Wintersemester 2021/2022,Übungsblatt Nr.0

Ausgabe: Mo, 18.10.21 Prof. Dr. I. Rutter,
Abgabetermin: Mo, 25.10.21 Peter Stumpf, Miriam Münch, Niko Fink
Besprechung: Do, 28.10.21

Bitte lesen Sie die folgenden Informationen zum Übungsablauf sorgfältig durch.
Grundsätzlich – wenn nicht anders angegeben – sind die Lösungen zu den Übungen in Theoretische Informatik 1+2 bei Moodle
einzureichen (https://moodle.uni-passau.de/). Treten Sie hierfür der Gruppe “TI1+2-WS21/22 Theoretische Informatik I+II
WS2020/21” bei (Passwort: “mit einem RegEx parsen?”).
Die Besprechung der Aufgaben erfolgt in der Plenarübung am darauffolgenden Donnerstag. Zudem finden Sie auf Moodle
jeweils auch ein Quiz, dass Sie online beantworten müssen. Deadline für Quiz und Übungsblatt ist Montag um 8:00 Uhr.
Die Übungsblätter müssen in Lerngruppen von bis zu drei Studierenden bearbeitet werden. Die gemeinsame Abgabe muss nur
einmal abgegeben werden. Das Quiz muss hingegen einzeln bearbeitet werden. Für die Übungsblätter und das Bearbeiten
des Quiz erhalten Sie Punkte. Wer mindestens 60% aller Punkte erreicht und die Klausur besteht, der erhält einen
Notenbonus von 0,3. Für manche Aufgaben verteilen wir Bonuspunkte. Diese gehen nicht in die Berechnung der 60%
Schwelle ein, können aber wie reguläre Punkte erworben werden, um die Schwelle zu erreichen.
Weitere Informationen, wie aktuelle Ankündigungen und das Skript finden Sie in Stud.IP. Die neuen Übungsblätter finden
sie auf Moodle.

Aufgabe 1 Gruppeneinteilung [ 0 Punkte ]

(a) Bilden Sie mit Kommilitonen eine Lerngruppe von bis zu drei Studierenden. Wir empfehlen ausdrücklich mindestens
2er-Gruppen zu bilden. Nutzen Sie ggf. das Forum im Stud.IP (bei der Vorlesung) um Gleichgesinnte zu finden.
(b) Ein Mitglied der Lerngruppe soll diese Lerngruppe bei der Veranstaltung in Moodle anlegen. Wir empfehlen hierfür
einen anonymen Namen und ein Passwort zu verwenden. Sie müssen auch dann eine Lerngruppe anlegen, wenn Sie die
Übungsblätter alleine bearbeiten.
(c) Die anderen Mitglieder sollen dieser Lerngruppe anschließend beitreten. Beachten Sie, dass ein Anlegen von oder der
Beitritt zu Lerngruppen nur bis zur Abgabefrist für dieses Übungsblatt möglich ist.
(d) Bearbeiten Sie die anderen Aufgaben dieses Blatts.

(e) Ein Mitglied der Lerngruppe reicht die ausgearbeitete Abgabe als PDF-Datei ein. Die anderen Gruppenmitglieder
können dann verifizieren, dass für Sie eingereicht wurde.
(f) Achten Sie bei der Abgabe im eigenen Interesse auf Vollständigkeit, richtige Reihenfolge und Orientierung sowie Les-
barkeit der Seiten. Die Datei darf höchstens 10Mbyte groß sein. PDF-Annotationen werden in der Korrekturumgebung
leider nicht angezeigt und sollten daher nicht verwendet werden.

Achtung: Wenn Sie diese Aufgabe nicht bearbeiten, können Sie die nachfolgenden Übungsblätter nicht ab-
geben und keinen Klausurbonus erhalten!

Aufgabe 2 Homomorphismen [ 1 + 2 + 1 = 4 Punkte ]

Seien Σ und Γ Alphabete. Ein Homomorphismus über Σ ist eine Abbildung h : Σ → Γ bei der für alle x, y ∈ Σ? gilt
? ?

h(x · y) = h(x) · h(y).

Beweisen Sie folgende Aussagen:

(a) Für jeden Homomorphismus h gilt h(ε) = ε.
(b) Für jede Abbildung h0 : Σ → Γ? gibt es einen Homomorphismus h mit h(a) = h0 (a) für a ∈ Σ.

(c) Für zwei Homomorphismen h1 , h2 : Σ? → Γ? gilt:

(∀a ∈ Σ : h1 (a) = h2 (a)) ⇒ (∀w ∈ Σ? : h1 (w) = h2 (w)).

Insbesondere ist der Homomorphismus h in Teil b) für jedes h0 eindeutig.