Revisão rápida da última aula. Mostrou a conversão de DFAs para expressões regulares. Apresentou um método para provar que linguagens não são regulares usando o lema do bombeamento e propriedades de fechamento. Introduziu gramáticas livres de contexto (CFGs).

Instrutor: Prof. Michael Sipser