Contact
CoCalc Logo Icon
StoreFeaturesDocsShareSupport News AboutSign UpSign In
| Download
Views: 45858
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

import vcsn
%%automaton -s 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 -> $
Image in a Jupyter notebook
a1 = a.cominimize() a1
Image in a Jupyter notebook
a2 = a.transpose().minimize().transpose() a2
Image in a Jupyter notebook
a1 == a2
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.

a1.type()
'partition_automaton<mutable_automaton<context<letterset<char_letters>, z>>>'
a2.type()
'partition_automaton<mutable_automaton<context<letterset<char_letters>, z>>>'