Skip to content

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.