I\'d like to implement two imo very interesting algorithms for deterministic finite automat minimization (Hopcroft and Brzozowski\'s algortithms https://en.wikipedia.org/wiki/DF