• Prof. Dr. Uwe Meyer

• Prof. Dr. Martin Bokler
• Prof. Dr. Michael Elberfeld
• Prof. Dr. Uwe Meyer

Keine

Die Studierenden kennen die Bedeutungen und Zusammenhänge von regulären Ausdrücken, endlichen Automaten, Kellerautomaten, Turingmaschinen, Berechenbarkeit, formalen Sprachen, Grammatiken und deren Einsatz in den Phasen der lexikalischen Analyse und der Syntaxanalyse in einem Compiler.

• Reguläre Ausdrücke und endliche Automaten
• Reguläre und kontextfreie Sprachen und Grammatiken, Chomsky-Hierarchie, Kellerautomat
• Kontextsensitive, Turing Maschine, Turing-erkennbare und -entscheidbare Sprachen
• Transformationen zwischen diesen Konzepten
• Pumping-Lemmata
• Erstellung eines Lexers mit einem Generator
• Syntaxanalyse top-down und bottom-up
• Erstellung eines Parsers mit einem Generator
• Abschlusseigenschaften der Sprachen

Fachkompetenzen

• Die Studierenden können die Konzepte der Automaten, Sprachen, Grammatiken und regulären Ausdrücke erklären und zuordnen.
• Sie können Instanzen dieser Konzepte ineinander transformieren.
• Sie können mit Hilfe der Pumping-Lemmata Zugehörigkeit zu den Sprachklassen entscheiden.
• Sie können LL- und LR-Verfahren zur Syntaxanalyse erklären und auf einfache Grammatiken anwenden.

Methodenkompetenzen (fachlich & überfachlich)

• Die Studierenden können die erlernten Konzepte auf konkrete Beispiele anwenden, um Äquivalenz- und Berechenbarkeitsfragen zu beantworten.

Sozialkompetenzen

• Die Studierenden können in Teamarbeit lexikalische Analyse und Syntaxanalyse für eine einfache Programmiersprache umsetzen.

Selbstkompetenzen

• Die Studierenden können die erlernten Konzepte strukturiert auf neue Problemstellungen anwenden.
• Sie können ihren Lernprozess reflektieren und ihre Arbeitsweise anpassen.

• 6 CrP
• Arbeitsaufwand 180 Std.
• Präsenzzeit 60 Std.
• Selbststudium 120 Std.

• 4 SWS
• Vorlesung 2 SWS
• Übung 2 SWS

• Bioinformatik (B.Sc. 2022)
• Informatik (B.Sc. 2022)
• Ingenieur-Informatik (B.Sc. 2022)

Ja

Bonuspunkte werden gemäß § 9 (4) der Allgemeinen Bestimmungen vergeben. Art und Weise der Zusatzleistungen wird den Studierenden zu Veranstaltungsbeginn rechtzeitig und in geeigneter Art und Weise mitgeteilt.

Prüfungsvorleistung:

Projektarbeit oder Hausübungen (Art und Umfang wird den Studierenden rechtzeitig und in geeigneter Weise bekannt gegeben.)

Prüfungsleistung:

Klausur, auch im Antwort-Wahl-Verfahren (Anteil des Antwort-Wahl-Verfahrens wird den Studierenden rechtzeitig und in geeigneter Weise bekannt gegeben.)

• Informatik (B.Sc. 2022)
  • Compilerbau (INF2525)
• Ingenieur-Informatik (B.Sc. 2022)
  • Compilerbau (INF2525)

• Hopcroft, J.; Motwani, R.; Ullman, J.: Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit. Pearson Studium.
• Vossen, G.; Witt, K.-U.: Grundkurs Theoretische Informatik. Eine anwendungsbezogene Einführung - Für Studierende in allen Informatik-Studiengängen. Springer Verlag.
• Sipser, M.: Introduction to the theory of computation. Cengage Learning.
• Meyer, U.: Grundkurs Compilerbau. Rheinwerk-Verlag.