automaton.complete

Make an automaton complete, i.e., there is an outgoing transition from every state for every labels.

Precondition:

Postcondition:

Examples



In [1]:

    
import vcsn
z = vcsn.context('lal_char(abc), z')









    



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



In [2]:

    
a = z.expression('(<2>a<3>b)*').standard()
a









    Out[2]:



In [3]:

    
a.is_complete()









    Out[3]:





False



In [4]:

    
a.complete()









    Out[4]:



In [5]:

    
a.complete().is_complete()









    Out[5]:





True