This is an overview of the course Formal Languages and Automata (in Swedish: Matematisk Lingvistik) that was taught in the Winter term of 1996 at the department of Linguistics at the University of Uppsala. You can take a look at summaries of the results of the midcourse evaluation and the final evaluation.
All chapter and exercise numbers mentioned in this schedule refer to the Partee book. Exercise x.y means exercise y of chapter x. The exercises mentioned for the lectures are optional. You can check your answers for these exercises by using the solutions chapter of the book. The exercises of the exercise classes are obligatory. The answers of these exercises have to be handed in on the next class on Monday. Exercises which are handed in after that deadline receive a one point penalty per extra day.
date time room subject
1. må 2201 14-16 B125 Lecture. Ch 1.1-1.7. Ex 1.1, 1.5.
2. on 2401 14-16 B125 Lecture. Ch 1.8. Ex 1.7, 1.9.
3. to 2501 10-12 B125 Exercise class 1
4. må 2901 14-16 B125 Lecture. Ch 2.1-2.3. Ex 2.1.
5. on 3101 12-14 B125 Lecture. Ch 2.4, 3.2, 3.1. Ex 2.3.
6. to 0102 10-12 B125 Exercise class 2
7. må 0502 14-16 B125 Lecture. Ch 3.1-3.4. Ex 3.3.
8. on 0702 14-16 B125 Lecture. Ch 3.5, 4.1. Ex 3.5.
9. to 0802 12-14 B125 Exercise class 3
10. må 1202 14-16 B125 Lecture. Ch 4.1-4.3. Ex 4.2, 4.5.
11. on 1402 14-16 B125 Lecture. Ch 4.3-4.4. Ex 4.7, 4.8.
12. to 1502 10-12 B125 Exercise class 4
13. må 1902 14-16 B125 Lecture. Ch 16.1-16.2.
14. on 2102 14-16 B125 Lecture. Ch 16.3. Skip theorems 16.1 and 16.2
and definition 16.8.
15. to 2202 10-12 B125 Exercise class 5
16. må 2602 12-14 B125 Lecture. Ch 16.3-17.1.2.
17. on 2802 14-16 B125 Lecture. Ch 17.1.2-17.2. Ex 17.1, 17.3, 17.10.
18. to 2902 10-12 B125 Exercise class 6
19. må 0403 14-16 B125 Lecture. Ch 17.2-17.3. Ex 17.11, 17.12.
20. on 0603 14-16 B125 Lecture. Ch 18.1-18.2. Ex 18.1.
21. to 0703 10-12 B125 Exercise class 7
22. må 1103 14-16 B125 Lecture. Ch 18.3-18.4. Ex 18.3.
23. on 1303 12-14 B125 Lecture. Ch 18.5-18.6.
24. to 1403 10-12 B125 Exercise class 8
må 2503 09-13 PS 2 Test
25. on 0304 10-12 A144 Test evaluation
There is a practice test with answers available. The file is in postscript format If you have problems printing the file you may consider copy the version that is present in room K334 in HSC.
There are no obligatory sessions. However the students are advised to visit the exercise classes because the assignments they will receive during those sessions partially determine their grade.
Students will receive a grade between 0 and 10 for the eight exercise class assignments and for the written test at the end of the course. To pass this course the student will have to get an average grade of 6.0 or higher for the exercise class assignments and a grade of 6.0 or higher for the final written test. In order to receive the high pass grade the student should obtain an average for the two grades of 8.0 or higher while neither the average exercise grade nor the grade for the written test is lower than 7.0.
We will use this book in the course:
The book is permanently available in the library of Institutionen för Lingvistik but I recommend that you buy one for yourself.
This course will deal with the chapters 1, 2, 3, 4, 16, 17 and 18 at least. If our time schedule allows it we will also deal with some parts of the chapters 9, 10, 11, 13, 19, 20, 21 and 22.
People that like working with Prolog can obtain some optional course related software.