¨Ubungen zur Vorlesung Einführung in die Theoretische Informatik ...
¨Ubungen zur Vorlesung Einführung in die Theoretische Informatik ...
¨Ubungen zur Vorlesung Einführung in die Theoretische Informatik ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Aufgabe 4 (4 Punkte)Zeigen Sie, dass <strong>die</strong> Klassen der entscheidbaren bzw. aufzählbaren Sprachen gegen Vere<strong>in</strong>igungund Durchschnitt abgeschlossen s<strong>in</strong>d. D.h. s<strong>in</strong>d A und B entscheidbare (aufzählbare)Sprachen, so s<strong>in</strong>d auch <strong>die</strong> Sprachen A ∪ B und A ∩ B entscheidbar (aufzählbar).H<strong>in</strong>weis: Skizzieren Sie, wie sich aus Entscheidungsverfahren (Aufzählungsverfahren) für Aund B Entscheidungsverfahren (Aufzählungsverfahren) für A∪B und A∩B gew<strong>in</strong>nen lassen.Abgabe: Bis Donnerstag, den 25. April 2013 <strong>in</strong> den Briefkästen im Foyer im EG derAngewandten Mathematik (INF 294). Leerung 14 Uhr!Die aktuellen Übungsblätter s<strong>in</strong>d als PDF-Dateien im Internet auf der Seite der <strong>Vorlesung</strong>abrufbar:http://www.math.uni-heidelberg.de/logic/SS13/theo<strong>in</strong>f SS13.html
Change language