Linguagens Formais
Ementa:
Introdução às Linguagens Formais; Autômatos finitos e suas classificações; Linguagens (não esta na ementa); Linguagens Regulares; Linguagens Livres de Contexto; Linguagens Enumeráveis Recursivamente; Hierarquia de Classes de Linguagens.
Bibliografia Básica:
MENEZES, P. B.. Linguagens Formais e Autômatos. Porto Alegre: Sagra-Luzzato, 1997.
Bibliografia complementar:
HOPCROFT, J.E. et. al. Introdução à teoria de autômatos, linguagens e computação. 2ª. Rio de Janeiro: Campus, 2004.
LEWIS, H. and Papadimitrou, C. Elementos de Teoria da Computação. Bookman, 2000.MENEZES, P. F. B., DIVÉRIO, T. A. Teoria da Computação: máquinas universais e computabilidade. Porto Alegre: Sagra-Luzzatto, 2000.
THOMAS, A. Sudkamp, Languages and Machines: an introduction to the theory of Computer Science. Disponível em: http://www.cs.wright.edu/~tsudkamp/book.htm, Wright State University, Acessado em: 30 nov. 2009.