C993 – Automaten und formale Sprachen
Modul
Automaten und formale Sprachen
Automata and Formal Languages |
Modulnummer
C993
Version: 2 |
Fakultät
FIM-INF: Informatikstudiengänge - Fakultät Informatik und Medien
|
Niveau
Bachelor
|
Dauer
1 Semester
|
Turnus
Sommersemester
|
Modulverantwortliche
Prof. Dr. rer. nat. Sibylle Schwarz |
Dozierende
Prof. Dr. rer. nat. Sibylle Schwarz |
Sprache(n)
Deutsch |
ECTS-Leistungspunkte
5.00 ECTS-Punkte |
Workload
150 Stunden |
Lehrveranstaltungen
4.00 SWS (2.00 SWS Vorlesung | 2.00 SWS Übung) |
Selbststudienzeit
94.00 Stunden |
Prüfungsvorleistung(en)
Prüfungsvorleistung Beleg Prüfungsvorleistung Präsentation |
Prüfungsleistung(en)
Prüfung Klausurarbeit |
Lehr- und Lernformen
|
Medienform
keine Angabe |
Lehrinhalte/Gliederung
Formale Sprachen und verschiedene Darstellungsformen dafür, reguläre Ausdrücke Grammatiken (Chomsky-Hierarchie, Pumping Lemmata) Berechnungsmodelle: endliche Automaten, Kellerautomaten,Turingmaschinen Ausblick auf Grenzen der Berechenbarkeit |
Qualifikationsziele
Die Studierenden sind in der Lage, wichtige Klassen formaler Sprachen als Grundlage von Programmier- und Beschreibungssprachen einzuordnen und kennen die wesentlichen Eigenschaften der Sprachklassen. |
Zulassungsvoraussetzung
Keine |
Empfohlene Voraussetzungen
anwendungsbereite Kenntnisse auf den Gebieten Modellierung, Logik und Programmierung |
Literaturhinweise
|
Aktuelle Lehrressourcen
keine |
Hinweise
Prüfungsvorleistung: regelmäßiges erfolgreiches Lösen der praktischen Übungsaufgaben und 3 Kurzvorträge zu schriftlichen Übungsaufgaben |
|
Link zu Kurs/Lernressourcen im OPAL/Moodle/etc.
|