Contact
CoCalc Logo Icon
StoreFeaturesDocsShareSupport News AboutSign UpSign In
| Download
Views: 45860
Kernel: Python 3

automaton.codeterminize

Compute the transposition of determinization of transposed automaton.

Preconditions:

  • its labelset is free

  • its weightset features a division operator (which is the case for B\mathbb{B}).

Postconditions:

  • the result is codeterministic

  • the result is equivalent to the input.transpose().determinize().transpose()

Caveats:

  • might not terminate if the weightset is not B\mathbb{B}

See also:

Examples

import vcsn
%%automaton -s a context = "lal_char(ab), b" $ -> 0 0 -> 1 a 0 -> 2 b 1 -> 3 b 2 -> 3 b 3 -> $
Image in a Jupyter notebook
a.codeterminize()
Image in a Jupyter notebook

The resulting automaton has states labeled with subsets of the input automaton set of states.

a.determinize()
Image in a Jupyter notebook