Content covered: 

Here we are minimizing DFA using Myhill-Nerode Theorem.