| INF1132 Formal languages and automata theory II | Course | INF | |
|---|---|---|---|
| Lecturer : |
Prof. Dr. rer. nat. Friedhelm Mündemann eMail | Homepage |
Term | 3 |
| Course Classification : | Informatics | CH | 2 |
| Language : | German | Type | L E |
| Type of examination : | PL | Credits | 2 |
| Method of evaluation : | written examination 120 min | ||
| Requirements : | Formal languages and automata theory I | ||
| Cross References : | |||
| Previous knowledge : | |||
| Aids and special features : | |||
| Teaching aims : | Introduction to the most important concepts of theoretical informatics | ||
| Contents : | Grammars, Chomsky heierachy, Word problem, regular languages (finite automata, non-determinant automata, regular expressions, Pumping Lemma, decidability), context-free languages | ||
| Literature : | |||