Teoria da Computação

De Wiki DAINF
(Diferença entre revisões)
(→Objetivos)
Linha 7: Linha 7:
 
Alfabetos e Linguagens. Autômatos Finitos. Linguagens Livres de Contexto. Máquinas de Turing.
 
Alfabetos e Linguagens. Autômatos Finitos. Linguagens Livres de Contexto. Máquinas de Turing.
 
Tese de Church. Não-computabilidade. Complexidade Computacional.
 
Tese de Church. Não-computabilidade. Complexidade Computacional.
 +
 +
 +
== Bibliografia básica ==
 +
 +
  1. Lewis, H.R.; Papadimitriou, C.H. "Elementos de Teoria da Computação". 2. Ed., Bookmann, 2000, 336 p. ISBN: 8573075341.
 +
  2. Hopcroft, J.E.; Motwani, R.; Ullman, J.D."Introdução a Teoria de Autômatos, Linguagens e Computação". Campus, 2002, 584 p., ISBN: 8535210725.
 +
  3. Sipser, Michael. “Introdução à Teoria da Computação”. Thomson Pioneira, 2007, 502 p. ISBN: 9788522104994.
 +
 +
 +
== Bibliografia complementar ==
 +
 +
 +
  1. Birkhoff, G.; MacLane, S. "Álgebra Moderna Básica". Guanabara Dois, 4a. ed., 1980.
 +
  2. Campello, R.E; Maculan, N. "Algoritmos e Heurísticas". EDUFF, 1994.
 +
  3. Diverio, T.A.; Menezes, P.F.B. "Teoria da Computação", Sagra-Luzzato, 1999.
 +
  4. Hopcroft, J.E.; Ullman, J.D. "Introduction to Automata Theory, Languages and Computation". Addison-Wesley, 1979.
 +
  5. Lewis, H.R.; Papadimitriou, C.H. "Elements of the Theory of Computation". Prentice-Hall, 1981.
 +
  6. Lucchesi, C; Simon, I; Simon, I; Simon,J; Kowaltowski, T. "Aspectos Teóricos da Computação". 11o. Colóquio Brasileiro de Matemática, Impa, 1977.
 +
  7. Menezes, P.F.B. "Linguagens Formais e Autômatos", 3.ed., Sagra-Luzzato, 1999.
 +
  8. Moret, B.M. "The Theory of Computation". Addison-Wesley, 1998.
 +
  9. Pin, J.e. "Variétés de Langages Formels". Masson, 1984.
 +
  10. Ross, K; Wright, C. "Discrete Mathematics". Prentice-Hall, 1985.
 +
  11. Sudkamp, T.A. "Languages and Machines". Addison-Wesley, 1997.
 +
12.  Van Leeuwen, J. (Editor). "Handbook of Theoretical Computer Science", The MIT Press, 1990. Volumes A: Algorithms and complexity; Volume B: Formal models and semantics.
 +
Outros recursos:
 +
 +
 +
 +
JFLAP (Java Formal Language and Automata Package): www.jflap.org 
  
 
== Referências ==
 
== Referências ==
  
 
[http://www.dainf.ct.utfpr.edu.br/~kaestner/Teoria/Teoria.htm TEORIA DA COMPUTAÇÃO, Prof. Celso Kaestner]
 
[http://www.dainf.ct.utfpr.edu.br/~kaestner/Teoria/Teoria.htm TEORIA DA COMPUTAÇÃO, Prof. Celso Kaestner]

Edição de 11h46min de 13 de outubro de 2008

Tabela de conteúdo

Objetivos

Os objetivos da disciplina Teoria da Computação são “propiciar ao aluno o conhecimento de Linguagens Formais e elementos de Teoria da Computação, bem como de suas aplicações em Engenharia de Computação”. O papel desta disciplina é o de mostrar os formalismos envolvidos nas etapas de análise léxica e sintática de linguagens, bem como os fundamentos teóricos do processo de computação e suas limitações.

Ementa

Alfabetos e Linguagens. Autômatos Finitos. Linguagens Livres de Contexto. Máquinas de Turing. Tese de Church. Não-computabilidade. Complexidade Computacional.


Bibliografia básica 

  1. Lewis, H.R.; Papadimitriou, C.H. "Elementos de Teoria da Computação". 2. Ed., Bookmann, 2000, 336 p. ISBN: 8573075341.
  2. Hopcroft, J.E.; Motwani, R.; Ullman, J.D."Introdução a Teoria de Autômatos, Linguagens e Computação". Campus, 2002, 584 p., ISBN: 8535210725.
  3. Sipser, Michael. “Introdução à Teoria da Computação”. Thomson Pioneira, 2007, 502 p. ISBN: 9788522104994.


Bibliografia complementar 

  1. Birkhoff, G.; MacLane, S. "Álgebra Moderna Básica". Guanabara Dois, 4a. ed., 1980.
  2. Campello, R.E; Maculan, N. "Algoritmos e Heurísticas". EDUFF, 1994.
  3. Diverio, T.A.; Menezes, P.F.B. "Teoria da Computação", Sagra-Luzzato, 1999.
  4. Hopcroft, J.E.; Ullman, J.D. "Introduction to Automata Theory, Languages and Computation". Addison-Wesley, 1979.
  5. Lewis, H.R.; Papadimitriou, C.H. "Elements of the Theory of Computation". Prentice-Hall, 1981.
  6. Lucchesi, C; Simon, I; Simon, I; Simon,J; Kowaltowski, T. "Aspectos Teóricos da Computação". 11o. Colóquio Brasileiro de Matemática, Impa, 1977.
  7. Menezes, P.F.B. "Linguagens Formais e Autômatos", 3.ed., Sagra-Luzzato, 1999.
  8. Moret, B.M. "The Theory of Computation". Addison-Wesley, 1998.
  9. Pin, J.e. "Variétés de Langages Formels". Masson, 1984.
 10. Ross, K; Wright, C. "Discrete Mathematics". Prentice-Hall, 1985.
 11. Sudkamp, T.A. "Languages and Machines". Addison-Wesley, 1997.

12. Van Leeuwen, J. (Editor). "Handbook of Theoretical Computer Science", The MIT Press, 1990. Volumes A: Algorithms and complexity; Volume B: Formal models and semantics. Outros recursos:


JFLAP (Java Formal Language and Automata Package): www.jflap.org

Referências

TEORIA DA COMPUTAÇÃO, Prof. Celso Kaestner

Obtida de "http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Teoria_da_Computa%C3%A7%C3%A3o&oldid=654"
Ferramentas pessoais