automaton.lift.ipynb

Kernel: Python 3

automaton.lift(identities="default")

ParseError: KaTeX parse error: \newcommand{\bra} attempting to redefine \bra; use \renewcommand Turn an automaton into a spontaneous automaton by mapping each transition $\lweight{w}{\ell}$ into $\lweight{\lweight{w}{\ell}}{\varepsilon}$.

Preconditions:

• None

See also:

• expression.lift

Examples

import vcsn
a = vcsn.Q.expression('(<1>a+<2>b+<3>c){2}').automaton()
a

b = a.lift()
b

from IPython.display import display
display(a.context(), b.context())

$\{a, b, c\}\to\mathbb{Q}$

$\{\varepsilon\}\to\mathsf{RatE}[\{a, b, c\}\to\mathbb{Q}]$

A different set of identities can be chosen.

a.lift().type()

'mutable_automaton<context<lao, expressionset<context<letterset<char_letters>, q>>>>'

a.lift(identities = 'trivial').type()

'mutable_automaton<context<lao, expressionset<context<letterset<char_letters>, q>>>>'