automaton.cominimize(algo = "auto")

Cominimize an automaton. Calling aut.cominimize() is equivalent aut.transpose().minimize().transpose().

Arguments:

algo the algorithm to perform the minimization (see minimization for details).

Examples



In [1]:

    
import vcsn









    



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



In [2]:

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



In [3]:

    
a1 = a.cominimize()
a1









    Out[3]:



In [4]:

    
a2 = a.transpose().minimize().transpose()
a2









    Out[4]:



In [5]:

    
a1 == a2









    Out[5]:





True

Although based on two transpositions, the cominimized automaton has the same type as the forward minimization, and does not include the transpose_automaton decorator.



In [6]:

    
a1.type()









    Out[6]:





'partition_automaton<mutable_automaton<letterset<char_letters(abc)>, z>>'



In [7]:

    
a2.type()









    Out[7]:





'partition_automaton<mutable_automaton<letterset<char_letters(abc)>, z>>'