Technisches
Schein: Fleißig kommen und die Aufgaben im Tutorium rechnen (in Zahlen: mindestens 50% der Punkte aus
mindestens 70% der Blätter), Abschlusskolloquium oder Klausur.
Literatur
- Klabunde, R.: Formale Grundlagen der Linguistik, Narr 1998
- Vossen, G & Witt, K.-U.: Grundlagen der
Theoretischen Informatik mit Anwendungen, Vieweg 2001
- Schöning, U.: Theoretische Informatik kurzgefasst,
Spektrum 2001
- Partee, B. et al: Mathematical Methods in Linguistics, Kluwer 1990
- Hopcroft, J.E., & Ullmann, J.D.:
Introduction to automata theory, languages, and computation, Addison Wesley 1979
- Hofstadter, D.: Gödel, Escher,
Bach, passim