Course Literature

Recap on Concepts from Discrete Mathematics

Formal Proofs and Structural Induction

Main Book

Introduction to Automata Theory, Languages, and Computation, by Hopcroft, Motwani and Ullman. Addison-Wesley. Both second or third edition are fine for the course.

Observe that the web page of the book contains solutions to some of the exercises in the book.

This is how some of the possible versions of the 3rd edition of the book look like:

ISBN 9780321455369 ISBN 9780321476173
ISBN 9780321455369 -- ISBN 9780321476173 -- ISBN 9781292039053

It seems it might be an electronic version of the book that one can buy from the publisher.

It also seems the electronic copy of the book is available for free through the library.

Other Material

Have a look also at Thierry Coquand's note on the two definitions for the transition function on strings and why they are equivalent.