Zaragoza:

BB	Kelley, Dean. Teoría de Autómatas y lenguajes formales / Dean Kelley ; traducción, Mª Luisa Díez Platas ; revisión técnica, Luis Joyanes Aguilar Madrid : Pearson Educación, reimp. 2006
BB	Sipser, Michael. Introduction to the theory of computation / Michael Sipser . 3rd ed. Australia [etc.] : Cengage Learning, cop. 2013
BC	Hopcroft, John E.. Introducción a la teoría de autómatas lenguajes y computación / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman ; traducción Vuelapluma . - 3ª ed. Madrid : Pearson Educación, D. L. 2007
BC	Kozen, Dexter C.. Automata and computability / Dexter C. Kozen New York [etc.] : Springer, cop. 1997

Teruel:

BB	Kelley, Dean. Teoría de Autómatas y lenguajes formales / Dean Kelley ; traducción, Mª Luisa Díez Platas ; revisión técnica, Luis Joyanes Aguilar Madrid : Pearson Educación, reimp. 2006
BC	Hopcroft, John E.. Introducción a la teoría de autómatas lenguajes y computación / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman ; traducción Vuelapluma . - 3ª ed. Madrid : Pearson Educación, D. L. 2007
BC	Kozen, Dexter C.. Automata and computability / Dexter C. Kozen New York [etc.] : Springer, cop. 1997
BC	Sipser, Michael. Introduction to the theory of computation / Michael Sipser . - 3rd ed. Australia [etc.] : Cengage Learning, cop. 2013