Video details loaded
HomeMIT 18.404J Theory of Computation, Fall 2020Lecture 1: Introduction, Finite Automata, Regular Expressions

Lecture 1: Introduction, Finite Automata, Regular Expressions

1:00:34

Up Next

Lecture 2: Nondeterminism, Closure Properties, Regular Expressions → Finite Automata

Continue

Description: Introduction; course outline, mechanics, and expectations. Described finite automata, their formal definition, regular languages, regular operations, and regular expressions. Proved that the class of regular languages is closed under ⋃. Started proving closure under ◦.

Instructor: Prof. Michael Sipser