The lecture today (friday 4th) is cancelled due to illness. Sorry for the inconvenience.

The first set of homework problems is now available on the course page.

The lecture today (friday 23rd) is cancelled due to illness. Sorry for the inconvenience.

The results of the exam should be available. Please note that the requirements for all grades were lowered by 2 points, due to an error in one problem.

Note the deadline for answers, 2017-05-18, 13:00.

The separate tutorials tuesday 2017-05-23, 10-12 for TDDD14 and wednesday 2017-05-24, 13-15 for TDDD85 are both cancelled. They are replaced with a joint tutorial on tuesday 2017-05-23, 15-17 in P42.

Note the deadline for answers, 2017-04-19, 17:00. (There will be no separate session about Myhill-Nerodes theorem for TDDD14, but please try your best anyway, using the book).

Note that many lectures will be somewhat different this year, so lecture slides and other material may not be up to date for the moment. Please be patient.

Homework assignment 2 is available here.

Homework assignment 1 is available here.

HW1 release: Week 16, Monday April 18th
HW1 hand-in: Week 17, Wednesday April 27th, 23:59:59
HW1 feedback: Week 18, Wednesday May 4th (LE06)

HW2 release: Week 19, Wednesday May 11th
HW2 hand-in: Week 21, Monday May 23rd, 23:59:59
HW2 feedback: Week 21, Friday May 27th (LE09)

Hand-in on paper or via email.
More hand-in details will be given on the assignments.

TDDD14 (https://www.ida.liu.se/webreg3/TDDD14-2016-1/UPG1)
TDDD85 (https://www.ida.liu.se/webreg3/TDDD85-2016-1/UPG2)