Kernel: Python 3
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).
See also:
Examples
In [1]:
In [2]:
In [3]:
In [4]:
In [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]:
'partition_automaton<mutable_automaton<context<letterset<char_letters>, z>>>'
In [7]:
'partition_automaton<mutable_automaton<context<letterset<char_letters>, z>>>'