SUDKAMP, T.A., Languages and machines, 2a. edição, Editora Addison-Wesley, 1997.
LEWIS, H.R.; PAPADIMITRIOU, C.H., Elementos de teoria da computação, 2a. edição, Editora Bookman, 2000.
ROSA, J.L.G., Linguagens formais e autômatos, 1a. edição, Editora LTC, 2010.
GERSTING, J.L., Fundamentos matemáticos para a ciência da computação: um tratamento moderno de matemática discreta, 5a. edição, Editora LTC, 2004.
SIPSER, M., Introdução à teoria da computação, 1a. edição, Editora Thompson, 2007.