automaton.strip.ipynb

Kernel: Python 3

automaton.strip

Remove all the decorations from an automaton, i.e., remove state names.

Examples

import vcsn

a = vcsn.B.expression('ab*').automaton()
a

Stripping a plain automaton, or stripping twice, is allowed.

a.strip()

a.strip().strip()

Operations like determinize introduce decorations:

a = vcsn.context('lal(ab), b').de_bruijn(1).determinize()
a

a.strip()

a.type()

'determinized_automaton<mutable_automaton<context<letterset<char_letters>, b>>, vcsn::wet_kind_t::bitset, false>'

a.strip().type()

'mutable_automaton<context<letterset<char_letters>, b>>'

The derived_term of an expression also uses decorations:

a = vcsn.Z.expression('<3>ab*c{3}').derived_term()
a

a.strip()