Computer Science COMP3630/COMP6363

Theory of Computation

Lectures

Lecture notes will not be available on the web. Almost all of the course content can be found in the textbook.

Tutorials

There will not be separate tutorials for this course. Some of the lectures might be run in tutorial mode.

Textbook

J. E. Hopcropft, R. Motwani, J. D. Ullman,
Automata Theory, Languages, and Computation.
3rd edition, Pearson Eduction, 2007.

Lecturers

Brendan McKay
Room N336, CSIT Building
6125 3845; bdm(at)cs.anu.edu.au

Jinbo Huang
Room B152, RSISE Building
6125 1766; Jinbo.Huang(at)nicta.com.au

Handouts

Assignment 1

α-β lemma

Assignment 2

Gradiance

The textbook comes with access to an online tutorial/homework system Gradiance. We will not formally use it in this course, but you might find it useful for tutorial and revision.

1. A Gradiance access code appears in the sealed cardboard insert that comes with the textbook.
2. Follow the instructions in the insert to create a Gradiance account.
3. Log into Gradiance here.
4. Sign up for the self-study class HMU00001.
5. Click the class name HMU.
6. Click Homeworks.