1. Fernando G N Rocha
  2. automata_minimization

Compare