Theory of Automata is a 6 point
course, given
in Period 4, on Campus Valhallavägen.
It is elective for D3,D4 and
IT3,IT4, but can also be read by others who are interested, such as
graduate
students (see below).
The course is given in English.
However,
students can use Swedish when writing assignments and exams, and when
communicating with the lecturer.
Latest News
- The exam
took place on 19 May 2008. It has been graded and deposited with the
CSC Student Expedition (building E). Here are the solutions.
Staff
Course leader and lecturer: Dilian Gurov, e-mail
dilian
at csc.kth.se, phone 08-790 81 98.
Visiting address: Osquars backe 2, floor 4, room 4417.
Course Literature
Dexter Kozen: Automata
and
Computability, Springer, 1997. The book should be available from
Kårbokhandeln.
Here are slides to some of
the
lectures.
And here is a set of exercises
(some with solutions), compiled from previous exams.
Course Structure
For formal reasons, the teaching is divided into lectures (F) and
tutorials
(Ö), but in fact there will be some kind of
"lektionsundervisning",
where theory and examples are mixed.
Here is a
course
outline.
Examination
The requirement for the course is a pass on the written exam (unless
you're
a graduate student, see below). The grade will be the grade obtained at
the exam. You're allowed to
bring
the course book and all handouts to the exam, except old exams and
solutions
to old exams. Own notes are also allowed as long as they don't consist
of copies of old exams or solutions to old exams.
Note that you must be registered for the course in
order
to have the result of your exam reported.
Exam resits
Exam resits (sv. omtentor) are by mutual arrangement with the
lecturer.
Special requirements for graduate students (Ph.D, Lic)
Ph.D. and Lic. students have
special
requirements.
Course Board (sv. Kursnämnd)
The course board gives a formal way for students
to provide
feedback to the lecturer and to influence the content and form of the
course.
It is formed at the start of the course.
Course Evaluation and Analysis
A course evaluation is performed after the course to give input
for
improvements for later versions of the course. Here is the latest
course
analysis
(in Swedish).
Related Courses
A similar course,
based on the same book, is given by the Department of Computer and
Information Science at the University
of Linköping.
Such a course
is also given at Dexter Kozen's
Institution, namely
at Cornell.