Material de Apoio

• (09/08/2017) Plano de Ensino
  

• (09/08/2017) Introdução à Teoria da Computação
  Slides.

Trabalhos

• Implementação de um Simulador de Máquina de Turing Reversível. Aqui temos um exemplo de arquivo de entrada ilustrativo. A primeira linha apresenta números, que indicam: número de estados, número de símbolos no alfabeto de entrada, número de símbolos no alfabeto da fita e número de transições, respectivamente. A seguir, temos os estados, na próxima linha alfabeto de entrada e logo alfabeto da fita. Nas linhas sequentes temos a funcão de transição (como explicada no artigo). Depois da funcão de transição, segue uma entrada.
  LEMBRETE: o seu programa deve ler de um arquivo como ele lê da entrada padrão. Por exemplo, a chamada deve funcionar para:
  • ./simulador < entrada.txt

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.