Revisão rápida da última aula. Introduziu autômatos finitos não determinísticos (NFA). Provou que NFA e DFA são equivalentes em poder. Provou que a classe das linguagens regulares é fechada sob ◦, ∗. Mostrou a conversão de expressões regulares para NFAs.

Instrutor: Prof. Michael Sipser