Revisão de tópicos de Álgebra. Autômatos finitos e expressões regulares. Propriedades dos conjuntos regulares, análise e síntese de autômatos. Linguagens e gramáticas. Linguagens regulares, livres de contexto, sensíveis ao contexto e tipo-0. Máquinas de Turing e seus modelos restritos. Decibilidade. Análise Sintática e tradução orientada pela sintaxe.
[01] - Hopcroft, J. E., Motwani, R., Ullman, J. D. Introduction to automata theory - languages and computation. 3rd Edition. New York: Addison-Wesley, 2007.
[01] - Elements of the Theory of Computation - H.R. Lewis e C.H. Papadimitriou. Prentice-Hall. Um pouco mais pesado e menos didático do que o anterior.Conciso e objetivo.
[02] - Languages and Machines - T. Sudkamp. Addison-Wesley. Mais didático do que os anteriores. Ordenação não muito ortodoxa: primeiro discute linguagens e gramáticas e só então introduz a teoria de autômatos.
[03] -Introduction to the Theory of Computation – M. Sipser. PWS. Conciso e didático.