Olá pessoal, boa tarde.
Ano passado, quando iniciei meu mestrado, tive a opotunidade de estudar linguagens formais e autômatos em uma disciplina do mestrado. Eu não tinha visto nada de teoria da computação na graduação (fiz Sistemas de Informação). Pois bem, achei muito legal a disciplina e então fui atrás de material sobre construção de compiladores, algo que realmente me fascina. Comprei o livro clássico do Dragão (o roxo - http://www.submarino.com.br/produto/1/21324324/compiladores:+principios,+tecnicos+e+ferramentas) e há um mês atrás comprei o Como construir um compilador: utilizando ferramentas java (http://www.submarino.com.br/produto/1/250668/como+construir+um+compilador:+utilizando+ferramentas+java). Esse último, apesar de bem prático, eu não estou gostando, sei lá, achei muito direto ao ponto e os exemplos ficam quebrados durante o livro… O livro do dragão entra em muitos aspectos teóricos e eu não continuei a lê-lo pois senti falta de uma base teórica melhor (minha).
Se alguém que já trabalhou com algo do tipo, eu gostaria de saber se vcs teem alguma sugestão quanto a livros. Eu queria algo que aliasse prática e teoria, mas de forma didática. Sei que é difícil encontrar algo do tipo, justamente por ser um tema complexo, mas as vezes alguém conhece algo.
Estou dando uma olhada no livro do ANTLR (não é propriamente de compiladores, mas de analisadores e gramáticas), mas ainda não deu para sentir se também vai faltar bagagem teórica para eu lê-lo.
Enfim, qualquer sugestão é bem vinda 
[]´s
