"Automatentheorie und formale Sprachen"
|
|
Vorlesung mit Übung im Grundstudium (3+1)
|
|
Veranstalter
|
 |
Prof. Dr. Wolfgang Thomas
RWTH Aachen
Lehrstuhl für Informatik VII
Ahornstr. 55
D-52056 Aachen
|
 |
|
|
Anmeldung
|
|
Der Kurs wird als virtuelle Lehrveranstaltung im
virtuellen
Studienplatz von ULI angeboten. Als ULI-Student
erhalten Sie Ihren Zugang über die Anmeldung auf der
ULI-Homepage (www.uli-campus.de).
Neben den Übungsplätzen für
Studierende der RWTH Aachen gibt es 20 Plätze für
externe Übungsteilnehmer, die bei erfolgreicher
Teilnahme einen Leistungsnachweis erhalten
können.
Anmeldeschluß für Externe: 16. April
2002
|
|
Inhalt
|
|
Automaten und Grammatiken sind
Standardwerkzeuge des Informatikers zur Modellierung und
Transformation von Systemen und Prozessen. Außerdem
bilden sie die Basis für die Definition und
Übersetzung von Programmiersprachen, ebenso wie
für die Algorithmik über Zeichenreihen
(Pattern-Matching).
Im Zentrum dieser Grundvorlesung steht zunächst das
Modell des endlichen Automaten, dessen
Verhaltensbeschreibung durch reguläre Ausdrücke
und die Frage, welche Informatik-Systeme man auf diese Weise
modellieren kann. Im zweiten Teil der Vorlesung geht es um
die Spezifikation von Daten durch Grammatiken, ihre
Erkennung durch Kellerautomaten und die Verbindung mit
Formalismen wie XML. Es werden vor allem algorithmische
Fragen untersucht, zum Beispiel, ob die Äquivalenz
zwischen Automaten bzw. Grammatiken entscheidbar ist (und
wenn ja, mit welcher Effizienz).
|
|
Notwendige Vorkenntnisse
|
| Grundkenntnisse der Informatik und
Mathematik, wie sie in den ersten beiden Semestern des
Informatikstudiums vermittelt werden, sind für die
Teilnahme erforderlich. |
|
Curriculare Einordnung beim Anbieter
|
| Theorievorlesung im Grundstudium. |
|
Ablauf
|
Beginn der Vorlesung: 16. April
2002
Zeit und Ort der Präsenzvorlesung: Dienstags,
11:45 - 13:15 Uhr und Freitags, 10:00 - 10:45 Uhr
Die Vorlesung wird mit einer Screen Recording Software
aufgezeichnet und kann ca. 2 Tage nach der Aufzeichnung als
Video von der Veranstaltungsseite http://www-i7.informatik.rwth-aachen.de/d/teaching/ss02/atfs/
heruntergeladen werden. Die aufgezeichneten Videos sind in
einem Standardformat (AVI für Windows/Mac bzw. divX4
für Unix/Linux) und können mit den üblichen
Playern abgespielt werden. Zusätzlich werden die Folien
der Vorlesung im PDF Format zur Verfügung
gestellt.
Es werden wöchentlich Übungsblätter verteilt,
die auch in elektronischer Form über die oben genannte
Seite verfügbar sein werden. Für die Studierenden
der RWTH Aachen werden wöchentlich
Präsenzübungen angeboten. Die externen Teilnehmer
können ihre Lösungen in elektronischer Form
einreichen und werden via Internet betreut.
Scheinklausur: Der Termin wird in der Vorlesung
bekanntgegeben (voraussichtlich wird die Klausur in einer der
letzten beiden Semesterwochen geschrieben).
Vordiplomsklausur für Studierende der RWTH Aachen:
16. August 2002
|
|
Prüfungsbedingungen
|
| Es wird eine Klausur geschrieben. Für
externe Teilnehmer wird nach vorheriger Absprache
gegebenenfalls eine alternative Prüfungsform
angeboten. |
|
Umfang
|
| Der Umfang beträgt 3 + 1
Semesterwochenstunden. Es werden 6 ECTS vergeben. |
|
Wichtige Hinweise
|
| |
|
Betreuung
|
Philipp Rohde, fon: +49 -241 -80 -24555
(demnächst -21711), mail: rohde@informatik.rwth-aachen.de
Christof Löding, fon: +49 -241 -80 -24558 (demnächst -21712), mail: loeding@informatik.rwth-aachen.de |
|
Startseite
|
| Startseite der Veranstaltung |
