Minimization of DFA | Theory of Computation (TOC) | Example