Books

Cases, Rafel, and Lluís Màrquez. 2003. Llenguatges, Gramàtiques i Autòmats : Curs Bàsic. 2a ed. Edicions UPC.

Hopcroft, John E., Rajeev Motwani, and Jeffrey D. Ullman. 2007. Introduction to Automata Theory, Languages, and Computation. 3rd edition. Pearson Addison Wesley.

Kozen, Dexter. 1997. Automata and Computability. Undergraduate Texts in Computer Science. Springer.

Serna, Maria José, Carme Àlvarez, Rafel Cases, and Antoni Lozano. 2004. Els Límits de La Computació : Indecidibilitat i NP-Completesa. 2a ed. Edicions UPC.

Sipser, Michael. 2013. Introduction to the Theory of Computation. 3rd edition. Cengage Learning.

The main book we will follow for the course is (Sipser 2013).

Sipser, Michael (2013).
Introduction to the Theory of Computation. 3rd edition.
Cengage Learning.
Available at UPC library

Books in Catalan covering the topics of the course are (Cases and Màrquez 2003) and (Serna et al. 2004).

Cases, Rafel, and Lluís Màrquez (2003).
Llenguatges, Gramàtiques i Autòmats : Curs Bàsic. 2a ed.
Edicions UPC.
Available at UPC library

Serna, Maria José, Carme Àlvarez, Rafel Cases, and Antoni Lozano (2004).
Els Límits de La Computació : Indecidibilitat i NP-Completesa. 2a ed.
Edicions UPC.
Available at UPC library

Other books covering the topics of the course (with more details than (Sipser 2013)) are (Hopcroft, Motwani, and Ullman 2007) and (Kozen 1997).

Hopcroft, John E., Rajeev Motwani, and Jeffrey D. Ullman (2007).
Introduction to Automata Theory, Languages, and Computation. 3rd edition.
Pearson Addison Wesley.
Available at UPC library

Kozen, Dexter (1997).
Automata and Computability.
Undergraduate Texts in Computer Science. Springer.
Available at UPC library