automaton.insplit

Create the insplit automaton from the input.

In the insplit automaton, each state has either only spontaneous transitions, or no spontaneous transition at all. The input states are split to respect that condition, and the result automaton is equivalent to the input one.

Insplitting is used as a preprocessing in the conjunction of automata and the composition of transducers.

Precondition:

the labelset has one (label of spontaneous transitions)

Examples



In [1]:

    
import vcsn









    



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



In [2]:

    
%%automaton a
context = lan_char, b
$ -> 0
0 -> 1 a
0 -> 1 "\\e"
1 -> 3 b
1 -> $
3 -> $



In [3]:

    
a.insplit()









    Out[3]: