Revisão rápida da última aula. Provou o lema do bombeamento para linguagens livres de contexto como uma ferramenta para mostrar que linguagens não são livres de contexto. Definiu máquinas de Turing (TMs). Definiu decodificadores de TM (para em todas as entradas).

Instrutor: Prof. Michael Sipser