Instructors: Prof. Dr. phil. nat. Ulrich Kohlenbach; Alexander Kreuzer; Pavol Safarik
Event type:
Lecture & Exercise
Org-unit: Dept. 04 - Mathematics
Displayed in timetable as:
FGdI I
Subject:
Crediting for:
Hours per week:
3
Credits:
4,5
Language of instruction:
German
Min. | Max. participants:
- | 540
Course Contents:
introduction: systems of transition, words, languages; basic mathematical
concepts and elementary methods of proof; finite automata and regular languages;
determinism and nondeterminism, closure properties and the construction
of automata; context-free languages, CYK algorithm; Turing machines;
decidability and enumerability in the Chomsky hierarchy
|