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:
Examples
In [1]:
In [2]:
In [3]:
False
Here, a1 has a word transition, so it is not letterized.
In [4]:
In [5]:
False
Here, a2 has spontaneous transitions, so it is not proper.
In [6]:
In [7]:
True