Lehrbeauftragte: | Prof. Dr. Jürgen Dassow, 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 |
Paun: Marcus Contextual Grammars. Kluwer, 1997 |
Partee et al: Mathematical Methods in Linguistics. Kluwer, 1997 |