Dfa minimization
 
x
OK