TDDD14 Formal Languages and Automata Theory
All Messages
| 2025‑03‑27 | Welcome | 
| 
       Welcome to the course! The first lecture takes place on Monday, 31 March.  | 
  |
| 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
	  
          
          