Jakob-Haringer-Str. 2

5020 Salzburg, Austria

Room 2.17


+43 (0)662 8044 6417

+43 (0)662 8044 611 (fax)

Skype ana_sokolova

Many thanks to Silviu Craciunas for the photo (RTAS 2010 in Stockholm) and his help with iWeb!

Formale Systeme 511.002 (instructions), Winter semester 2013/2014

Schedule:            Wednesdays 1pm-3pm starting 16.10.13 in T03 (my group)

                           Thursdays 10am-12am starting 17.10.13 in T03

                           (group of Prof. Robert Elsaesser)

First meeting:       Wednesday 16.10.13 at 1pm / Thursday 17.10.13 at 10am in T03

Language:           Teaching in German, course material (mainly) in English 

Tutorials:            Tuesdays 12am-2pm in T06 (starting 15.10.13)


  1. Textbook: Logical Reasoning: A First Course, by Rob Nederpelt and Fairouz Kameraddine, King’s College London Publications, 2007.

  1. Textbook: Modellierung: Grundlagen und formale Methoden by Uwe Kastens and Hans Kleine Buening, Hanser, 2005.

  1. Textbook: Introduction to Automata Theory, Languages, and Computation by John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman, Pearson/Addison-Wesley, 2007.

The books can be ordered via . Some copies are available at the department library.

Prerequisites:  None

Rules:   Presence in class is obligatory. Each student can miss one class, but not more than that without a serious reason.

Each week after the lecture (Thursdays 1pm-4pm) the students are given a set of several homework exercises that are to be solved in groups of at most three people, signed, and delivered to the lecturer for the corresponding group before the following Wednesday 11 am.  These exercises are to be discussed during class on that same Wednesday/Thursday. We will correct one randomly chosen exercise per week and the students will get a grade for that one. The corrected homework will be returned to the students with grades one week later. Needless to say, copying between different groups is unacceptable and will be sanctioned.   

During class we will present the solution of the chosen corrected exercise and the students will be asked to present the solutions/discuss the other exercises. We may also present additional solutions. 

Grading:  The grade of a student is determined by: (1) his/her grades of corrected homeworks, and (2) activity (ability to present solutions of exercises) in class. Hence, this is a course with permanent evaluation, there will be no exam.

Tasks per week:

  1. Week 3, Wednesday 16.10.13 / Thursday 17.10.13. The homework exercises will be uploaded here before Thursday 10.10.13, 4pm. The solutions are to be delivered by Wednesday 16.10.13, 11am. The students will get the graded task back on Wednesday 23.10.13/ Thursday 24.10.13. Here are the tasks for Week 3. We will correct Task 5.

  2. Week 4, Wednesday 23.10.13 / Thursday 24.10.13. Here are the tasks for Week 4.

  3. Week 5, Wednesday 30.10.13 / Thursday 31.10.13. Here are the tasks for Week 5.

  4. Week 6, Wednesday 6.11.13 / Thursday 7.11.13. Here are the tasks!

  5. Week 7, Wednesday 13.11.13 / Thursday 14.11.13. Here are the tasks!

  6. Week 8, Wednesday 20.11.13 / Thursday 21.11.13. Here are the tasks!

  7. Week 9, Wednesday 27.11.13 / Thursday 28.11.13. Here are the tasks!

  8. Week 10, Wednesday 4.12.13 / Thursday 5.12.13. Here are the tasks. Sorry for the few hours delay.

  9. Week 11, Wednesday 11.12.13 / Thursday 12.12.13. Here are the tasks.

  10. Week 12, Wednesday 18.12.13 / Thursday 19.12.13. Here are the tasks (now with corrected typos! Sorry for the three typos).

  11. Week 13, Wednesday 8.1.14 / Thursday 9.1.14. Here are the tasks. Happy holidays!

  12. Week 14, Wednesday 15.1.14 / Thursday 16.1.14. Here are the tasks.

  13. Week 15, Wednesday 22.1.14 / Thursday 23.1.14. Here are the tasks.

  14. Week 16, Wednesday 29.1.14 / Thursday 30.1.14. Here are the tasks. Last class. All the best for the coming exams!

Course description:  These are the instructions accompanying the lectures Formale Systeme 511.001. Each week the students are given a set of (approximately) ten excercises to solve which we then discuss in class. 

Ana Sokolova

Dr. TU Eindhoven, The Netherlands, 2005

Associate Professor

Computational Systems Group

Department of Computer Sciences

University of Salzburg