Swedish web site
TDDD14 Formal Languages and Automata Theory
All Messages
| 2023‑03‑22 | Welcome |
|
Welcome to the course! The course pages are currently being restructured. |
|
| 2020‑05‑28 | Simplification of regular expressions |
|
A link to a video explaining how regular expressions can be simplified has been added to lecture 5. |
|
| 2020‑05‑11 | Lecture 11 (new version) |
|
An updated version of the notes for lecture 11 has been posted, fixing an error in example 2. |
|
| 2020‑04‑17 | Lecture 8 (redux!) |
|
An updated version of the notes for lecture 8 has now been posted, fixing an error. |
|
| 2020‑04‑17 | Lecture 8 |
|
The notes for lecture 8 has been posted. |
|
| 2020‑04‑07 | Lecture 5 |
|
The notes for lecture 5 has been posted. |
|
| 2020‑04‑06 | Homework |
|
The first homework has been posted. |
|
| 2020‑04‑03 | Finally! |
|
The notes for lecture 4, along with two complementary videos, have been posted. |
|
| 2020‑04‑03 | A delay |
|
The notes for lecture 4 will be posted later this afternoon. |
|
| 2020‑04‑01 | Notes |
|
The notes for lecture 3 are now available. A reference to a complementary video has been posted, and a link to a common misconception about nondeterminism vs. randomness has been added. This supplementary material is completely optional. |
|
| 2020‑03‑31 | Notes |
|
The notes for lecture 1 and lecture 2 are now available. |
|
| 2019‑05‑17 | Home assignment 2 |
|
This is a reminder that the deadline for handing in home assignment 2 is monday 2019-05-20, 10:00. The solutions will be discussed at the lecture on thursday 2019-05-23. |
|
| 2019‑04‑02 | Home assignment 1 |
|
Home assignment 1 is now available on the Homework page. The deadline for handing in the solutions is monday 2019-04-29, 17:00. |
|
| 2018‑05‑04 | Cancelled lecture |
|
The lecture today (friday 4th) is cancelled due to illness. Sorry for the inconvenience. |
|
| 2018‑04‑12 | Homework 1 |
|
The first set of homework problems is now available on the course page. |
|
| 2018‑03‑23 | Cancelled lecture |
|
The lecture today (friday 23rd) is cancelled due to illness. Sorry for the inconvenience. |
|
| 2017‑06‑13 | Exam 2017-05-29 |
|
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. |
|
| 2017‑05‑09 | Assignment 2 is released |
|
Note the deadline for answers, 2017-05-18, 13:00. |
|
| 2017‑04‑07 | Schedule change |
|
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. |
|
| 2017‑04‑07 | Assignment 1 is released |
|
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). |
|
| 2017‑03‑22 | The course has started |
|
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. |
|
| 2016‑05‑11 | Homework assignment 2 |
|
Homework assignment 2 is available here. |
|
| 2016‑04‑18 | Homework assignment 1 |
|
Homework assignment 1 is available here. |
|
| 2016‑04‑12 | Homework assignments' schedule |
|
HW1 release: Week 16, Monday April 18th |
|
| 2016‑04‑05 | Webreg is open for both courses. |
|
TDDD14 (https://www.ida.liu.se/webreg3/TDDD14-2016-1/UPG1) |
|
| 2016‑04‑04 | The course has started! |
Page responsible: Victor Lagerkvist
Last updated: 2007-12-05
