automaton.realtime

Compute the realtime automaton, i.e. the equivalent automaton in which transitions are labeled with only letters (as viewed by the labelset), without spontaneous transitions.

Calling realtime is equivalent to calling letterize then proper.

Preconditions:

The automaton is_valid

Postconditions:

The automaton is_letterized
The automaton is_proper

Examples

In [1]:

import vcsn

In [2]:

law = vcsn.context("law_char, b")

In [3]:

a = law.expression("(ab)*+(cd+ef)*").thompson()
a

In [4]:

a.is_valid()

True

In [5]:

a.is_letterized()

False

In [6]:

a.is_proper()

False

In [7]:

r = a.realtime()
r

In [8]:

r.context()

$\{a, b, c, d, e, f\}\to\mathbb{B}$

In [9]:

r.is_letterized()

True

In [10]:

r.is_proper()

True

In [11]:

a.letterize().proper()