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 $\mathbb{B}$).

Postconditions:

Caveats:

Examples



In [1]:

    
import vcsn









    



:0: FutureWarning: IPython widgets are experimental and may change in the future.



In [2]:

    
%%automaton a
context = "lal_char(ab), b"
$ -> 0
0 -> 1 a
0 -> 2 b
1 -> 3 b
2 -> 3 b
3 -> $



In [3]:

    
a.codeterminize()









    Out[3]:

The resulting automaton has states labeled with subsets of the input automaton set of states.



In [4]:

    
a.determinize()









    Out[4]: