automaton.realtime.ipynb

Kernel: Python 3

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

See also:

• automaton.letterize

• automaton.is_letterized

• automaton.is_realtime

• automaton.is_valid

• automaton.proper

Examples

import vcsn

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

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

a.is_valid()

True

a.is_letterized()

False

a.is_proper()

False

r = a.realtime()
r

r.context()

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

r.is_letterized()

True

r.is_proper()

True

a.letterize().proper()