automaton.strip

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

Examples

In [1]:

import vcsn

In [2]:

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

Out[2]:

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

In [3]:

a.strip()

Out[3]:

In [4]:

a.strip().strip()

Out[4]:

Operations like determinize introduce decorations:

In [5]:

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

Out[5]:

In [6]:

a.strip()

Out[6]:

In [7]:

a.type()

Out[7]:

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

In [8]:

a.strip().type()

Out[8]:

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

The derived_term of an expression also uses decorations:

In [9]:

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

Out[9]:

In [10]:

a.strip()

Out[10]: