Material de Apoio

• (05/08/2019) Plano de Ensino
  

• (05/08/2019) Breve História.
  

• (07/08/2019) Introdução
  

• (12/08/2019) Máquina de Turing: introdução
  

• (12/08/2019) Máquina de Turing: definição formal
  

• (14/08/2019) Exercícios: definindo MTs
  

• (28/08/2019) Variantes da MT
  

• (28/08/2019) How to: provas formais
  

• (23/09/2019) Decidibilidade: parte I
  

• (25/09/2019) Decidibilidade: parte II
  

• (25/09/2019) Decidibilidade: parte III
  

• (30/09/2019) Introdução ao Cálculo Lambda
  

• (30/09/2019) Gabarito da revisão para primeira avaliação. Autor: aluno Pedro Minini

• (30/09/2019) Gabarito da revisão para primeira avaliação. Autor: aluno André Rakowski

• (30/09/2019) Gabarito da revisão para primeira avaliação. Autor: aluno Maurício Schmaedeck

Trabalhos

• Trabalho 1: implementação de Máquina de Post
  

• Bibliografia para o trabalho, capítulo 25.

Livros

• Introduction to Theory of Computation
  Website do Livro do Michael Sipser.

• Teoria da Computação: Máquinas Universais e Computabilidade
  Website do Livro do Tiaraju Asmuz Diverio e Paulo Fernando Blauth Menezes

• Models of Computation
  Website do Livro da Maribel Fernandez.

Simuladores

• JFLAP
  Programinha que desenha e executa a simulação da MT.