Automata and Formal Languages (IN2041)
| Lecturer | Prof. Dr. Javier Esparza |
|---|---|
| Assistant | Valentin Krasotin |
| Duration | 4+2 SWS |
| Language of instruction | English |
Schedule
- Lecture: Tuesday, 10:15-11:45, MI Hörsaal 2
- Lecture: Wednesday, 08:30-10:00, 00.5901.051
- Tutorial: Thursday, 14:15-15:45, 02.13.010
Contact
The teaching assistant for this course is Valentin Krasotin. For questions, use our Zulip channel. For private matters, you can contact me on Zulip or by email.
Materials
You can find the exercise sheets and lecture notes on Moodle. You must be registered to the course “Übung zu Automaten und formale Sprachen” to access the Moodle page.
The course largely follows the book Automata Theory: An Algorithmic Approach by Javier Esparza and Michael Blondin. The book also contains exercises.
Exercises
Exercises are voluntary and do not affect the final grades. It is highly recommended to work on the exercises, as this is the best preparation for the exam.
Exam
The final grade is determined by a 2-hour written exam. The dates for the exam are:
- Endterm: Thursday, February 12, 11:00-13:00
- Retake: TBD
To prepare for the exam, you are strongly encouraged to go through the exercise sheets and take some past exams at home.