Conjunction: provide a special case for proper automata
Not only is this faster, it also yields simpler (decorated) automata as they don't use insplit
.
Once done, see if is-ambiguous.hh
could be simplified to not have to deal with insplit
.
Not only is this faster, it also yields simpler (decorated) automata as they don't use insplit
.
Once done, see if is-ambiguous.hh
could be simplified to not have to deal with insplit
.