Useful Links
Course Related
- Link to the protocol of 2015/2016 evaluation.
- Previous year's pages:
2016,
2015,
2014,
2013,
2012,
2011,
2010.
Tools
- 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!
Reading Material
- Short notes on basic notions
like sets, relations
and functions.
(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.