Angewandte Automatentheorie
» Diese Veranstaltung wird auf deutsch gehalten.
Vorlesung im Sommersemester 2003
| Art | Termine/Ort | Beginn | Veranstalter |
|---|---|---|---|
| V4 | Mo 14:00 - 15:30 AH I Di 14:00 - 15:30 AH II |
28.04.2003 |
Thomas |
| Ü2 | Mi 15:00 - 16:30 AH VI | 04.04.2007 | Cachat, Rohde |
Inhalt
In dieser Theorievorlesung werden die wichtigsten Begriffsbildungen und Ergebnisse der Automatentheorie vorgestellt, die in den Anwendungen bei der Systemkonstruktion und - analyse benötigt werden. Themenstichworte sind:
- Minimierungsverfahren für Automaten (Zustandsäquivalenz, Bisimulation)
- Logiken zur Verhaltensbeschreibung von Automaten (z.B. temporale Logik)
- Baumautomaten und die Auswertung von XML-Dokumenten
- Pushdown-Systeme
- Kommunizierende endliche Automaten, Message-Sequence-Charts
- Hierarchische Systeme
- Petrinetze
Ein Schwerpunkt der Vorlesung wird die Behandlung algorithmischer Fragen über das Verhalten von Automaten bzw. unendlichen Transitionssystemen sein. Zu den Anwendungen zählt u.a. die Programmverifikation (Model-Checking) und Programmsynthese. Von zentraler Bedeutung sind hierbei Erreichbarkeits- und Äquivalenzprobleme; diese werden für alle genannten Automatentypen behandelt.
Die Vorlesung wird mit einem Screen Recording Tool aufgezeichnet, anschließend multimedial aufbereitet und sowohl hier auf diesen Seiten als auch später auf CD-ROM zur Verfügung gestellt.
Der Kurs wird als virtuelle Lehrveranstaltung im Rahmen von ULI - Universitärer Lehrverbund Informatik angeboten.
Anmeldung
Studierende der RWTH Aachen können sich wie üblich in der ersten Vorlesungswoche für die Übungsgruppe in eine Liste eintragen.
Neben den Übungsplätzen für Studierende der RWTH Aachen gibt es weitere 20 Plätze für externe Übungsteilnehmer, die bei erfolgreicher Teilnahme einen Leistungsnachweis erhalten können. Die externen Teilnehmer können ihre Lösungen der Übungen in elektronischer Form einreichen und werden via Internet und E-Mail betreut.
Die Anmeldung für Externe erfolgt auf der ULI-Homepage www.uli-campus.de. Der Anmeldeschluß für Externe ist der 25. April 2003.
Notwendige Vorkenntnisse
Die Grundlagen der Automatentheorie, wie sie im Grundstudium vermittelt werden, sind für die Teilnahme erforderlich.
Studienrelevanz
Der durch das erfolgreiche Bestehen der Klausur erworbene Schein wird an der RWTH Aachen als Studienleistung anerkannt. Als Externer informieren Sie sich bitte bei Ihrem zuständigen Prüfungsamt, ob der Schein bzw. die Credit Points an Ihrer Universität anerkannt werden.
Credit Points
8 ECTS