automaton.standard.ipynb

Kernel: Python 3

automaton.standard

Turn an automaton into a standard automaton.

Preconditions:

• None

Postconditions:

• result.is_standard()

See also:

• automaton.is_standard

• expression.derived_term

• expression.standard

Examples

There is a single initial state.

import vcsn
ctx = vcsn.context('lal_char, z')
std = lambda e: ctx.expression(e).standard()
a = std('a').add(std('b'), 'general')
a

a = a.standard()
a

The initial state has 1 as (initial) weight.

%%automaton -s a
context = "lal_char, z"
$ -> 0 <2>
0 -> 1 a
0 -> 2 b
1 -> $
2 -> $

a.standard()

There is no incoming transition on the initial state.

%%automaton -s a
context = "lal_char, z"
$ -> 0 <2>
0 -> $ <2>
0 -> 1 a
1 -> 0 b

a.standard()