Kernel: Python 3
automaton.codeterminize
Compute the transposition of determinization of transposed automaton.
Preconditions:
its labelset is free
its weightset features a division operator (which is the case for ).
Postconditions:
the result is codeterministic
the result is equivalent to the
input.transpose().determinize().transpose()
Caveats:
might not terminate if the weightset is not
See also:
Examples
In [1]:
In [2]:
In [3]:
The resulting automaton has states labeled with subsets of the input automaton set of states.
In [4]: