Teoria da Computação

Informações

• Código da disciplina: IF65C
• Cursos: Engenharia de Computação (5o. período) e Bacharelado em Sistemas de Informação (3o. período)

Oferecimentos

• Teoria da Computação - Turma S73 - 2010.1

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

• Lewis, H.R.; Papadimitriou, C.H. "Elementos de Teoria da Computação". 2. Ed., Bookmann, 2000, 336 p. ISBN: 8573075341.
• 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.
• Sipser, Michael. “Introdução à Teoria da Computação”. Thomson Pioneira, 2007, 502 p. ISBN: 9788522104994.

Software

• JFLAP

Referências

TEORIA DA COMPUTAÇÃO, Prof. Celso Kaestner