| INF1122 Formale Sprachen und Automatentheorie I | SG | INF | |
|---|---|---|---|
| Dozent : |
Prof. Dr. rer. nat. Friedhelm Mündemann eMail | Homepage |
Semester | 2 |
| Einordnung : | Informatik | SWS | 3 |
| Sprache : | Deutsch | Art | V Ü |
| Prüfungsart : | PL | Credits | 4 |
| Prüfungsform : | Klausur 120 min | ||
| Voraussetzungen : | Grundlagen der Informationsverarbeitung Mathematik I | ||
| Querverweise : | |||
| Vorkenntnisse : | |||
| Hilfsmittel und Besonderheiten : | |||
| Lehrziele : | Sich in formalen Systemen zurechtfinden, Grenzen des Einsatzes von Algorithmen und Rechentechnik kennen, Definitionsmöglichkeiten von Sprachen kennen, Automaten kennen und einsetzen können | ||
| Lehrinhalte : | Mathem. Grundbegriffe, Algorithmus-Begriff, Berechenbarkeitstheorie, Theorie der Formalen Sprachen, Automatentheorie | ||
| Literatur : | |||