This lecture is a choice of slightly more advanced topics from automata theory.
The lecture is on Tuesdays, 12:15 in room 5820. The exercises are on Wednesdays, 16:15 in room 5820, with Wojciech Czerwiński. Here is a plan of the lecture. There was a similar lecture last year. Here are the topics for this year:
Exam. The exam is an oral exam, which is mainly questions about the proofs of theorems. Please email me to choose a time. You can improve your exam grade using the star exercises. Choose any subset of the 6 topics in the list above, here is the exchange rate:
• 2 topics: dostateczny
• 3 topics: dobry
• 4 topics: bardzo dobry