Finite Automata Theory and
TMV027/DIT321 -- LP4 2018The teaching team in the Finite Automata Theory and Formal Languages course welcomes you to the 2018 edition of the course. Let's the fun begin!
Pre-requisitesKnowledge in discrete mathematics and in programming.
Changes from last year
- More material showing how to work with formal proofs, mainly (structural) induction and Pumping lemma.
News180521: Please check page on course evaluation for the protocol of the second evaluation meeting.
180508: The second evaluation meeting will take place on Friday 18th of May at 15.15. Please check page on course evaluation for more details.
180418: Please check page on course evaluation for the protocol of the first evaluation meeting.
180404: The course has now got student representatives both at Chalmers and GU. The first meeting will take place sometime in week 15. Please check page on course evaluation for more details.
180323: The definition of h in assignment 1 was wrong and wouldn't allow to prove the desired property. This was updated already a few hours after the assignment was first published. Apologies from my side!
180312: Recall that it is obligatory to register for written hall examinations! More information on the web page on examination.