12413 - Automatentheorie Modulübersicht
| Modulnummer: | 12413 - Modul nicht mehr im Angebot ab SS 2012 |
| Modultitel: | Automatentheorie |
| Automata Theory | |
| Einrichtung: | Fakultät 1 - Mathematik, Naturwissenschaften und Informatik |
| Verantwortlich: |
|
| Lehr- und Prüfungssprache: | Deutsch |
| Dauer: | 1 Semester |
| Angebotsturnus: | sporadisch nach Ankündigung |
| Leistungspunkte: | 8 |
| Lernziele: | Abrundung der Kenntnisse der theoretischen Informatik; Erwerb der Fähigkeit, sich in aktuelle Bereiche der Forschung selbständig einzuarbeiten; Vertrautheit im Umgang mit den Methoden der theoretischen Informatik in thematisch fortgeschrittenen Gebieten, Vertieften Einblick in die Möglichkeiten eingeschränkter Berechnungs- und Zeichenmanipulationsmodelle. |
| Inhalte: | Neben den Finiten Automaten und den Turingmaschinen gibt es noch eine Reihe anderer speicherzugriffsbeschränkter Modelle wie Zähler-, Keller- oder Stackautomaten in ihren verschieden Varianten. Neben den regulären und den kontextfreien Grammatiken gibt es eine Reihe anderer Grammatiktypen, die man definiert hat in dem Bemühen, das Compilieren noch zu vereinfachen. Wir wollen die Maschinenmodelle untereinander und mit aufwandbeschränkten Modellen in ihrer Leistungsstärke vergleichen und mit den Grammatiktypen in Verbindung bringen. |
| Empfohlene Voraussetzungen: | Solide Kenntnisse über die Grundlagen der Theoretischen Informatik. |
| Zwingende Voraussetzungen: | keine |
| Lehrformen und Arbeitsumfang: |
|
| Unterrichtsmaterialien und Literaturhinweise: | Diverse Zeitschriftenartikel |
| Modulprüfung: | Keine Angabe - Angabe ab Wintersemester 2016/17 erforderlich! |
| Prüfungsleistung/en für Modulprüfung: | Prüfungsgespräch benotet |
| Bewertung der Modulprüfung: | Prüfungsleistung - benotet |
| Teilnehmerbeschränkung: | keine |
| Zuordnung zu Studiengängen: |
|
| Bemerkungen: | - Studiengang Informatik Master, Komplex „Grundlagen der Informatik“, Niveaustufe 400 - Studiengang Angewandte Mathematik M.Sc.: Wahlpflichtmodul Anwendungsfach Informatik |
| Veranstaltungen zum Modul: | Vorlesung: Automatentheorie Übung zur Vorlesung |
| Veranstaltungen im aktuellen Semester: |
|
| Nachfolgemodul/e: | Auslaufmodul ab: 21.05.2011 |