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.