inductive: a deterministic flavor
Implement support for the generation of deterministic automata.
In the doc, be clear that it might not terminate with some weightsets.
Implement support for the generation of deterministic automata.
In the doc, be clear that it might not terminate with some weightsets.