| INF1132 Formale Sprachen und Automatentheorie II | SG | INF | |
|---|---|---|---|
| Dozent : |
Prof. Dr. rer. nat. Friedhelm Mündemann eMail | Homepage |
Semester | 3 |
| Einordnung : | Informatik | SWS | 2 |
| Sprache : | Deutsch | Art | V Ü |
| Prüfungsart : | PL | Credits | 2 |
| Prüfungsform : | Klausur 120 min | ||
| Voraussetzungen : | Formale Sprachen und Automatentheorie I | ||
| Querverweise : | |||
| Vorkenntnisse : | |||
| Hilfsmittel und Besonderheiten : | |||
| Lehrziele : | Einführung in wesentliche Konzepte der Theoretischen Informatik | ||
| Lehrinhalte : | Grammatiken, Chomsky Hierarchie, Wortproblem, Reguläre Sprachen (Endliche Automaten, Nichtdeterministische Automaten, reguläre Ausdrücke, Pumping Lemma, Entscheidbarkeit), Kontextfreie Sprachen | ||
| Literatur : | |||