Linguagens Formais, Autômatos e Computabilidade

Ementa

Linguagens regulares, livres e sensíveis ao contexto. Gramáticas formais. Autômatos. Programas. Máquinas e computações. Máquina de Turing.

Bibliografia

Hopcroft, J., Ullman, J., Motwani, R. Introdução à Teoria de Autômatos, Linguagens e Computação. Editora Campus, 2003.

Blauth, P. M. Linguagens Formais e Autômatos. Série Livros Didáticos 3, Edição 2, UFRGS, 1998.

Sipser, M. Introduction to the Theory of Computation. PWS Publishing, 1997.

PAPADIMITRIOU, Christos H.; LEWIS, Harry R. Elementos da Teoria da Computação. 2.ed. Porto Alegre: Bookman. 2000. 344p

VIEIRA, Newton José. Introdução aos fundamentos da computação: linguagens e máquinas. São Paulo: Thomson, 2006. 319 p