Automaten, Sprachen, Komplexität

 

Lecture in the summer term 2020

 
NFA to DFA Copyright: © M. Ritzert
 

Dates

Lecture:
Mon, 12:30 - 2:00 pm at AH II

Exercise Class:
Mon, 2:15 - 3:00 pm at AH III
Tue, 2:15 - 3:00 pm at AH I
 

 
 

Content

This course introduces - via examples obtained from applications - important basic topics of theoretical computer sience. We will analyze automata models, methods of specifying formal languages, and discuss questions regarding computability and complexity.

Prerequisites

There are no requirements for participation in this course.

 

Organization

The course will be held in German.

Time and Places

Lecture: Monday, video-upload in Moodle
Tutorium: Monday 2:15pm-3:00pm and Thursday 10:30am-11:15am
Exercise Class: Thursday 11:15am-12:00

Lecturer

Christof Löding

 

Exercises

There will be weekly exercise sets. Completing these successfully, reaching at least 50% of the possible points, is necessary for admittance to the examination.

Exam

There will be written exams. The exact modalities of the exams will be announced in Moodle.

 

External Links