Revisão rápida da última aula. Mostrou que diversas variantes de TM são todas equivalentes ao modelo de fita única. Discutiu a Tese de Church-Turing: máquinas de Turing são equivalentes a “algoritmos” e independentes de modelo. Introduziu notação para codificação de objetos e descrição de TMs.

Instrutor: Prof. Michael Sipser