Theoretische Informatik Sommersemester 2015 · BAI-4 Fr 12:00 { 14:00 LK052 Deutsch Barbara K onig...
Transcript of Theoretische Informatik Sommersemester 2015 · BAI-4 Fr 12:00 { 14:00 LK052 Deutsch Barbara K onig...
Organisatorisches Einfuhrung Chomsky-Hierarchie Regulare Sprachen Kontextfreie Sprachen
Vorlesung “Automaten und Formale Sprachen”alias
“Theoretische Informatik”Sommersemester 2015
Prof. Barbara KonigUbungsleitung: Jan Stuckrath
Barbara Konig Automaten und Formale Sprachen 1
Organisatorisches Einfuhrung Chomsky-Hierarchie Regulare Sprachen Kontextfreie Sprachen
Das heutige Programm:
Organisatorisches
VorstellungAblauf der Vorlesung und der UbungenPrufung & KlausurLiteratur & Folien
Einfuhrung und Motivation: “Automaten und FormaleSprachen”
Inhalt der Vorlesung
Barbara Konig Automaten und Formale Sprachen 2
Organisatorisches Einfuhrung Chomsky-Hierarchie Regulare Sprachen Kontextfreie Sprachen
Wer sind wir?
Dozentin: Prof. Barbara Konig
Raum LF 264
E-Mail: barbara [email protected]
Ubungsleitung: Jan Stuckrath
Raum LF 265
Web-Seite: www.ti.inf.uni-due.de/teaching/ss2015/afs/
Barbara Konig Automaten und Formale Sprachen 3
Organisatorisches Einfuhrung Chomsky-Hierarchie Regulare Sprachen Kontextfreie Sprachen
Vorlesungstermine
Termin:
Dienstag, 12:15-13:45 Uhr im Raum LB 131
Barbara Konig Automaten und Formale Sprachen 4
Organisatorisches Einfuhrung Chomsky-Hierarchie Regulare Sprachen Kontextfreie Sprachen
Termine der Ubungsgruppen/Tutorien
Ubungsgruppen:
Gruppe Tag Uhrzeit Raum Sprache
ISE Di 8:00 - 10:00 LE 120 EnglischBAI-1 Di 16:00 – 18:00 LK061 DeutschBAI-2 Do 14:00 – 16:00 BC523 DeutschBAI-3 Fr 10:00 – 12:00 LC 137 DeutschBAI-4 Fr 12:00 – 14:00 LK052 Deutsch
Barbara Konig Automaten und Formale Sprachen 5
Organisatorisches Einfuhrung Chomsky-Hierarchie Regulare Sprachen Kontextfreie Sprachen
Hinweise zu den Ubungen
Die Ubungen und Tutorien beginnen in der drittenVorlesungswoche am Dienstag, den 21. April.
Bitte versuchen Sie, sich moglichst gleichmaßig auf dieUbungen zu verteilen.
Besuchen Sie die Ubungen! Diesen Stoff kann man nur durchregelmaßiges Uben erlernen. Auswendiglernen hilft nichtbesonders viel.
Die Ubungsblatter werden jeweils am Dienstag der Vorwocheins Netz gestellt. Das erste Ubungsblatt wird am 14.4.bereitgestellt.
Barbara Konig Automaten und Formale Sprachen 6
Organisatorisches Einfuhrung Chomsky-Hierarchie Regulare Sprachen Kontextfreie Sprachen
Hinweise zu den Ubungen
Abgabe der gelosten Aufgaben bis Montag der folgendenWoche, 16:00 Uhr.
Einwurf in den Briefkasten neben dem Raum LF 259 oderAbgabe per Moodle.
Bitte geben Sie auf Ihrer Losung deutlich die Vorlesung, IhrenNamen, Ihre Matrikelnummer und Ihre Gruppennummer an.
Elektronische Abgaben sind nur als PDF zulassig! Bittebenennen Sie Dateien nach folgendem Schema (um eineeindeutige Namenswahl zu gewahrleisten):<vorname>-<nachname>-<blattnr>.pdf
Es sind keine Gruppenabgaben erlaubt, nur Einzelabgaben.
Barbara Konig Automaten und Formale Sprachen 7
Organisatorisches Einfuhrung Chomsky-Hierarchie Regulare Sprachen Kontextfreie Sprachen
Hinweise zu den Ubungen
Wir verwenden Moodle, um:
die Aufgabenblatter zur Verfugung zu stellen,
die Hausaufgaben elektronisch (nur PDF!) abzugeben und
um Diskussionsforen bereitzustellen.
Moodle-2-Plattform an der Universitat Duisburg-Essen:http://moodle2.uni-due.de/ (siehe auch Link auf derWebseite)
Bitte legen Sie dort einen Zugang an (falls noch nicht vorhanden)und tragen Sie sich in den Kurs “Automaten und FormaleSprachen 2015” (Sommersemester 2015 →Ingenieurwissenschaften → Informatik und AngewandteKognitionswissenschaft) ein. Bitte mit Uni-Kennung anmelden!
Zugangsschlussel: . . .
Barbara Konig Automaten und Formale Sprachen 8
Organisatorisches Einfuhrung Chomsky-Hierarchie Regulare Sprachen Kontextfreie Sprachen
Prufung
Es gibt mehrere Moglichkeiten, die Vorlesung prufen zu lassen . . .
Klausur (fur BAI & ISE & Nebenfach-Studierende).
Voraussichtlicher Termin: 14. August 2015
Mundliche Prufung (fur BAIs, die diese Vorlesung mundlichprufen lassen; Alternative: mundliche Prufung in“Rechnernetze und Sicherheit”)
Voraussichtlicher Termin: 10.-14. August 2015
Im Allgemeinen findet diese mundliche Prufung alsKombiprufung/Modulprufung gemeinsam mit“Berechenbarkeit und Komplexitat” statt. Es gibt Ausnahmenfur Studierende, die im Sommersemester beginnen und beideVorlesungen in großerem Abstand horen.
Anmeldung uber das Prufungsamt
Barbara Konig Automaten und Formale Sprachen 9
Organisatorisches Einfuhrung Chomsky-Hierarchie Regulare Sprachen Kontextfreie Sprachen
Prufung
Hinweise:
Fur BAIs, Studierende im Nebenfach, etc. heißt die Vorlesung“Automaten und Formale Sprachen”.Das Modul, das “Automaten und Formale Sprachen” &“Berechenbarkeit und Komplexitat” umfasst, heißt“Theoretische Informatik”.
Bei ISE tragt die Vorlesung alleine den Namen “TheoretischeInformatik”.
Barbara Konig Automaten und Formale Sprachen 10
Organisatorisches Einfuhrung Chomsky-Hierarchie Regulare Sprachen Kontextfreie Sprachen
Prufung
Wenn Sie 50% der Ubungspunkte erzielt haben, so erhalten Sieeinen Bonus fur die Prufung. (Fur das Vorrechnen in der Ubunggibt es 10 Extrapunkte.)
Auswirkung: Verbesserung um eine Notenstufe; z.B. von 2,3 auf 2,0
Bonuspunkte aus dem SS 2015 (oder fruher) gelten nicht mehr!
Fur die mundliche Modulprufung “Theoretische Informatik”(Kombiprufung) ist es erforderlich, den Bonus fur jede der beidenVorlesungen (“Automaten und Formale Sprachen” &“Berechenbarkeit & Komplexitat”) zu erzielen.
Barbara Konig Automaten und Formale Sprachen 11
Organisatorisches Einfuhrung Chomsky-Hierarchie Regulare Sprachen Kontextfreie Sprachen
Literatur
Die Vorlesung basiert im wesentlichen auf folgendem Buch:
Uwe Schoning: Theoretische Informatik – kurzgefaßt.Spektrum, 2008. (5. Auflage)
Weitere relevante Bucher:
Neuauflage eines alten Klassikers:Hopcroft, Motwani, Ullman: Introduction to AutomataTheory, Languages, and Computation, Addison-Wesley, 2001.
Auf Deutsch: Hopcroft, Motwani, Ullman: Einfuhrung in dieAutomatentheorie, Formale Sprachen undKomplexitatstheorie, Pearson, 2002.
Vossen, Witt: Grundkurs Theoretische Informatik, vieweg,2006.
Asteroth, Baier: Theoretische Informatik, Pearson, 2003.
Barbara Konig Automaten und Formale Sprachen 12
Organisatorisches Einfuhrung Chomsky-Hierarchie Regulare Sprachen Kontextfreie Sprachen
Literatur
Barbara Konig Automaten und Formale Sprachen 13
Organisatorisches Einfuhrung Chomsky-Hierarchie Regulare Sprachen Kontextfreie Sprachen
Literatur
Barbara Konig Automaten und Formale Sprachen 14
Organisatorisches Einfuhrung Chomsky-Hierarchie Regulare Sprachen Kontextfreie Sprachen
Literatur
Barbara Konig Automaten und Formale Sprachen 15
Organisatorisches Einfuhrung Chomsky-Hierarchie Regulare Sprachen Kontextfreie Sprachen
Folien
Folien werden
auf der Webseite bereitgestellt
regelmaßig aktualisiert
Die Folien werden sich gegenuber dem letzten Jahr verandern.Trotzdem macht es Sinn, sich die Folien des Vorjahrs bereitsanzusehen(www.ti.inf.uni-due.de/teaching/ss2014/afs/downloads/).
Dort gibt es auch eine englische Ubersetzung der Folien desVorjahrs.
Barbara Konig Automaten und Formale Sprachen 16