Formal Languages and Automata Theory (SS2020)

This is the webpage for the lecture and seminar of Formal Languages and Automata Theory (IE 1).

NEWS: The Midterm will be on May 21st, online, during the lecture. Topics are all from Courses 1 - 6 (included). You have to make sure you have a camera and a microphone which are switched on during the midterm. If you think you might have problems with this you have to announce me no later than May 18 and I will arrange an oral examinations. You have to write the solutions to the test on a notebook and your name and subject variant should be visible on each page. Or if you have a tablet and write with a pen, it is also accepted. The Midterm is 60 minutes and then you have 10 minutes to upload your exam in Google Classroom (code to be handed in by email). The subjects and the variants will be available on Google Classroom right before the examination.

Organisation

Course: Thursday, 4:20 - 5:50 PM, room AM

Seminar:

• Mon, 9:40 - 11:10 AM (group 3), 11:20 AM - 12:50 PM (group 4), 1 - 2:30 PM (group 2): all in A3, Law Building
• Thu, 1 - 2:30 PM room 701 (group 1)

Language: English

Office hours: Thursday, 9:40 - 11:10 AM, or by appointment, in F109 / online.

Attendance and Grading

There is no mandatory attendance for the lecture or seminar, however, note that the final grade includes your activity during the semester.

The final grade is computed as follows (more details on the Syllabus): FG = 30% * M + 40% * E + 30% * S + (20% or 5%) * P, where:

• M - grade from Midterm
• E - grade from Final Exam
• S - grade from Seminar
• P - grade from Project

If FG > 4.1 it is 5, > 5.1 it is 6, ..., > 9.1 it is 10.

Tentative Schedule

List of Projects

Resources