Revisão rápida da última aula. Definiu configurações e histórias de computação. Apresentou o método da história de computação para provar indecidibilidade. Mostrou que é decidível; , , e são indecidíveis.

Instrutor: Prof. Michael Sipser