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
sibylle.schwarz@htwk-leipzig.de
Dozierende

Prof. Dr. rer. nat. Sibylle Schwarz
sibylle.schwarz@htwk-leipzig.de
Sprache(n)

Deutsch
in "Automaten und formale Sprachen"
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
14.00 Stunden Vorbereitung Lehrveranstaltung - Automaten und formale Sprachen
70.00 Stunden Bearbeitung Prüfungsvorleistung - Automaten und formale Sprachen
10.00 Stunden Vorbereitung Prüfung - Automaten und formale Sprachen
Prüfungsvorleistung(en)

Prüfungsvorleistung Beleg
in "Automaten und formale Sprachen"

Prüfungsvorleistung Präsentation
in "Automaten und formale Sprachen"
Prüfungsleistung(en)

Prüfung Klausurarbeit
Modulprüfung | Prüfungsdauer: 90 Minuten | Wichtung: 100%
in "Automaten und formale Sprachen"
Lehr- und Lernformen
  • Vorlesung
  • Übung
  • Bearbeiten von Problemen und Lösungsfindung,
  • Selbstudium anhand theoretischer und praktischer Übungsaufgaben
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. 
Sie kennen die entsprechenden abstrakten Maschinenmodelle und Algorithmen und können sie zur Darstellung und Lösung praktischer Aufgabenstellungen einsetzen. Die Studierenden wissen, dass nicht jedes formal darstellbare Problem algorithmisch lösbar ist.
Zulassungsvoraussetzung

Keine
Empfohlene Voraussetzungen

anwendungsbereite Kenntnisse auf den Gebieten Modellierung, Logik und Programmierung
Literaturhinweise
  • J. E. Hopcroft, J. D. Ullman: "Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie", Addison-Wesley, aktuelle Auflage.
  • U. Schöning: "Theoretische Informatik - kurzgefasst", Spektrum, aktuelle Auflage.
  • D. Hoffmann: "Theoretische Informatik", Hanser, 2009.
  • R. Socher: "Theoretische Grundlagen der Informatik", Hanser, 2008
  • G. Vossen, K.-U. Witt: "Grundkurs Theoretische Informatik", Springer Vieweg, aktuelle Auflage.
Aktuelle Lehrressourcen

keine
Hinweise

Prüfungsvorleistung: regelmäßiges erfolgreiches Lösen der praktischen Übungsaufgaben und 3 Kurzvorträge zu schriftlichen Übungsaufgaben

Verwendbarkeit

Informatik | Bachelor (20INB) Pflichtmodul

Medieninformatik | Bachelor (20MIB) Wahlpflicht
Link zu Kurs/Lernressourcen im OPAL/Moodle/etc.
Detailansicht schließen
© Modulux (Version 4.1)