MINIMIZATION

• distinguishable States
  
• mark
  
  
• given DFA M, construct minimized Mi,