Matematisk Lingvistik VT96

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.

Schedule

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.

Literature

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.

Software

People that like working with Prolog can obtain some optional course related software.


Last update: March 18, 1998. erikt@stp.ling.uu.se