HOPCROFT, John E.; MOTWANI, Rajeev; ULLMAN, Jeffrey D. Introduction to Automata Theory, Languages, and Computation.
CALLEJAS BEDREGAL, Benjamín René; ACÍOLY, Benedito Melo; LYRA, Aarão. Introdução à Teoria da Computação: Linguagens Formais, Autômatos e Computabilidade.
MENEZES, Paulo Blauth. Linguagens Formais e Autômatos.