Finite Automata Theory and
Formal Languages

TMV027/DIT321 -- LP4 2018

The 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-requisites

Knowledge in discrete mathematics and in programming.

Changes from last year

News

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.