Introdução; ementa do curso, mecânica e expectativas. Descreveu autômatos finitos, sua definição formal, linguagens regulares, operações regulares e expressões regulares. Provou que a classe das linguagens regulares é fechada sob ⋃. Começou a prova de fechamento sob ◦.

Instrutor: Prof. Michael Sipser