Theoretische Informatik Sommersemester 2015 · BAI-4 Fr 12:00 { 14:00 LK052 Deutsch Barbara K onig Automaten und Formale Sprachen 5. OrganisatorischesEinf uhrung Chomsky-HierarchieRegul

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


Das heutige Programm:

Organisatorisches

VorstellungAblauf der Vorlesung und der UbungenPrufung & KlausurLiteratur & Folien

Einfuhrung und Motivation: “Automaten und FormaleSprachen”

Inhalt der Vorlesung



Wer sind wir?

Dozentin: Prof. Barbara Konig

Raum LF 264

E-Mail: barbara [email protected]

Ubungsleitung: Jan Stuckrath

Raum LF 265

[email protected]

Web-Seite: www.ti.inf.uni-due.de/teaching/ss2015/afs/



Vorlesungstermine

Termin:

Dienstag, 12:15-13:45 Uhr im Raum LB 131



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



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.




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.




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: . . .



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



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”.



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.



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.



Literatur



Literatur



Literatur



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.


Documents

Theoretische Informatik Sommersemester 2015 · BAI-4 Fr 12:00 { 14:00 LK052 Deutsch Barbara K onig Automaten und Formale Sprachen 5. OrganisatorischesEinf uhrung Chomsky-HierarchieRegul