Teoria da Computação - Turma S73 - 2010.1

Informações

• Página Wiki da Disciplina: Teoria da Computação
• Professores
  • Murilo Vicente da Silva (até maio de 2010)
  • Adolfo Neto (a partir de 14/06/2010)

Planejamento

Aulas regulares

• 14/06 - Visão geral de todo o assunto restante da disciplina.
• 21/06 - Linguagens Livres de Contexto. Máquinas de Turing. Tese de Church.
• 28/06 - Não-computabilidade. Complexidade Computacional.
  • Provável jogo do Brasil.
• 05/07 - Prova 2
  • 06/07 - Último dia para entrega das notas do semestre.
• 12/07 - Prova Final
  • 13/07 - Último dia para entrega das notas das provas finais.

Reposição de aulas

• Segunda: 15h50-17h30 (2)
• Terça: 10h20-12h00 (2), 15h50-17h30 (2)
• Quarta: 8h20-10h00 (2), 13h00-15h30 (3)
• Quinta: 8h20-12h00 (4), 14h40-17h30 (3)
• Sexta: 8h20-12h00 (4), 14h40-17h30 (3)

Material para Estudo

• KAESTNER, Celso A. A. Fundamentos de Teoria da Computação. Disponível em: <http://www.dainf.ct.utfpr.edu.br/~kaestner/Teoria/apostila-linguagens-formais.pdf>. Acesso em: 18 jun. 2010.
• 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.
  • Disponível na biblioteca!

Vídeos

• The LEGO Turing Machine
  • Blog do projeto da LEGO Turing Machine

Páginas

• Turing machine
• CYK algorithm