- Link to the protocol of 2015/2016 evaluation.
- Previous year's pages:
- JFLAP, a software for
experimenting with formal languages topics including
(non-)deterministic finite automata, grammars and Turing machines.
Automata tutor: Open an account there and enroll in the course with ID 128FAFL-2 using the password LKO0EKYV.
There are a few exercises there you can try for your own benefit! (Even if the tool gives a "grade" they are not at all associated to the examination of the course!)
I am testing the tool this year so please send me feedback if you have any!
- Short notes on basic notions
like sets, relations
(The responsible of the course would like to thank Einar Steingrímsson for these notes.)
Note: There are 2 typos in the second page on set theory; the right most B in the distributive laws (1) and (2) should be an A.
- Online book on Mathematics
for Computer Science by Lehman, Leighton and Meyer. Available under the
terms of the Creative Commons Attribution-ShareAlike 3.0 license.
- Link to the course book's web page: Introduction to
Automata Theory, Languages, and Computation, by Hopcroft, Motwani
and Ullman. Addison-Wesley.