Currently, the output is a DOT graph. It would be nice to give the possibility of returning the DFA also with the following outputs: - HOA - return the DFA as a Pythomata object