automaton.is_realtime.ipynb

Kernel: Python 3

automaton.is_realtime

Check whether the automaton is realtime, i.e. it has only letter transitions (as viewed the labelset), so no words or spontaneous transitions.

It is equivalent to being both is_letterized and is_proper.

See also:

• automaton.is_letterized

• automaton.is_proper

• automaton.realtime

Examples

import vcsn
ctx = vcsn.context("law_char, b")

a1 = ctx.expression("abc").standard()
a1

a1.is_realtime()

False

Here, a1 has a word transition, so it is not letterized.

a2 = ctx.expression("a*+b(c+d)").thompson()
a2

a2.is_realtime()

False

Here, a2 has spontaneous transitions, so it is not proper.

a3 = ctx.expression("a*+b(c+d)").standard()
a3

a3.is_realtime()

True