Llibres

Cases, Rafel, i Lluís Màrquez. 2003. Llenguatges, gramàtiques i autòmats : curs bàsic. 2a ed. Edicions UPC.

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

Kozen, Dexter. 1997. Automata and computability. Undergraduate texts a computer science. Springer.

Serna, Maria José, Carme Àlvarez, Rafel Cases, i 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.

El llibre principal de l’assignatura és (Sipser 2013).

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

En català, els llibres (Cases i Màrquez 2003) and (Serna et al. 2004) també cobreixen el material del curs.

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

Altres llibres que tracten els temes del curs (amb més detall que (Sipser 2013)) són (Hopcroft, Motwani, i Ullman 2007) i (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