public interface Minimizer {
    public DFA minimize(DFA a) throws Exception;
    public DFT minimize(DFT a) throws Exception;
    public IDFA minimize(IDFA a) throws Exception;
}