At the moment, we have only one minimization algorithm, the Brzozowski algorithm. We should improve the tool giving the choice of selecting the minimization algorithm.
I have selected the following algorithm:
Hopcroft's algorithm;
Moore's algorithm;
Huffman's algorithm.
This task is assigned to @AndreaPerazzoli.
At the moment, we have only one minimization algorithm, the Brzozowski algorithm. We should improve the tool giving the choice of selecting the minimization algorithm. I have selected the following algorithm: