Content covered: 
DFA minimisation