- Link to the protocol of 2016/2017 evaluation.
- Previous year's pages:
- JFLAP, a software for
experimenting with formal languages topics including
(non-)deterministic finite automata, grammars and Turing machines.
- 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.