automaton.costandard

Turns an automaton into a costandard automaton. This is equivalent to calling _aut_.transpose().standard().transpose().

Preconditions:

Postconditions:

Examples

There is a single final state.



In [1]:

    
import vcsn
b = vcsn.context('lal_char(abc), z')
a = b.expression('a').standard() | b.expression('b').standard()
a









    



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






    














    Out[1]:



In [2]:

    
a = a.costandard()
a









    Out[2]:

The final state has 1 as (final) weight.



In [3]:

    
a = a.costandard() * 2
a









    Out[3]:



In [4]:

    
a.costandard()









    Out[4]:

There is no outgoing transition from the final state.



In [5]:

    
%%automaton a
context = "lal_char(abc), z"
$ -> 0 <2>
0 -> $ <2>
0 -> 1 a
1 -> 0 b



In [6]:

    
a.costandard()









    Out[6]: