Blog idealizado pelos estudantes de Ciência da Computação do Instituto de Ciências Matemáticas e Computação (ICMC) da Universidade de São Paulo (USP) Campus São Carlos-SP:
-
Antônio Pedro Lavezzo Mazzarolo
-
Leonardo Sampaio Ferraz Ribeiro
-
Raul Zaninetti Rosa
Desenvolvido com o intuito de estender a teoria e a prática do que foi aprendido na disciplina de Teoria da Computação e Linguagens Formais ministrado pela professora Sandra Maria Aluísio do departamento de Ciências da Computação (SCC).
Bibliografia
· Livro Texto:- HAREL, D. Algorithmics The Spirit of Computing. Addison-Wesley, 2. ed., 1992.- SIPSER, M. Introduction to the Theory of Computation. PWS, 2a ed, 1997.- HOPCROFT, M. & ULLMAN Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 2001.· Bibliografia Complementar:- GAREY & JOHNSON Computers and Intractability a guide to the Theory of NP-Completeness, W.H. Freeman and Company, New York, 1979.- CORMEN, T.H.; LEISERSON, C.E.; RIVEST, R.L. Introduction to Algorithms. The Mit Press. 1. ed., 1990.- DIVÉRIO & MENEZES Teoria da Computação Máquinas Universais e Computabilidade. Série Livros Didáticos 5, IF UFRGS, 2. ed., 2000, Sagra Luzzatto.- MENEZES, P.B. Linguagens Formais e Autômatos, Série Livros Didáticos 3, IF UFRGS, 4. ed., 2001, Sagra Luzzatto.- TOSCANI & VELOSO Complexidade de Algoritmos, Série Livros Didáticos 13, IF UFRGS, 1. ed., 2001, Sagra Luzzatto.