MIT OpenCourseWare
1. Introduction, Finite Automata, Regular Expressions
About this video
The first lecture of Michael Sipser's MIT 18.404J Theory of Computation course, covering course mechanics, finite automata, regular languages and regular expressions. It proves closure of regular languages under union and begins concatenation.

