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.
News180822: Here you can find suggested solutions to the exam on 180822. There might be smarter solutions to some of the questions but I will be happy with something like those presented here.
180621: Tentagranskning I will have the exams in my
room (6116, edit building) on Wed 27th June 14.30-16.30 and Fri 29th
June 13-15. You can come and have a look at your exam, and ask me
questions if something is unclear. If you cannot come any of these
times drop me a mail so we can see if we can find another suitable
time during those days. Otherwise we can take it after August 20th.
Observe that doors of our department will probably be locked so you will need to ring the clock or give me a call (772 1020) so I can and open to you. You need to be on the door closest to our main entrance on Rännvägen 6B.
180529: Here you can find suggested solutions to the exam on
180529. There might be smarter solutions to some of the questions
but I will be happy with something like those presented here.
I will be again the week around midsummer so I will not be able to have any tentagranskning right after the correction is done (which I hope it will be done by mid June).
180521: 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.