Lehrbeauftragte: | Dr. Bianca Truthe |
Wochenstunden: | 4+0+0 |
Zuhörerkreis: | IF, DKE |
Voraussetzungen: | Grundvorlesung zur Theoretischen Informatik |
Prüfung bzw. Scheinerwerb: | jeweils durch eine mündliche Prüfung von 20 - 30 Minuten |
Rozenberg, Salomaa: Handbook of Formal Languages I-III. Springer-Verlag, Berlin, 1997 |
Hopcroft, Ullman: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979 |
Paun: Marcus Contextual Grammars. Kluwer, 1997 |
Partee et al: Mathematical Methods in Linguistics. Kluwer, 1997 |