Linguagens Formais e Autômatos
Mestrado em Ciência da Computação, Universidade Tecnológica Federal do Paraná, 2025
Disciplina cursada no semestre 2025/2 durante o mestrado em Ciência da Computação na UTFPR Câmpus Ponta Grossa.
Ementa
Linguagens regulares, livres e sensíveis ao contexto. Gramáticas formais. Autômatos. Programas. Máquinas e computações. Máquina de Turing.
Materiais & notas
- 📘 Notas de estudo: (em elaboração)
- 📝 Lista de referências: (em elaboração)
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.
VIEIRA, Newton José. Introdução aos fundamentos da computação: linguagens e máquinas. São Paulo: Thomson, 2006.