Theory of Automata & Formal Languages
Equivalence of Two Finite Automata &
Regular Expression
Myhill Nerode theorem
Closure Properties of Regular Languages