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:
Examples
In [1]:
In [2]:
In [3]:
In [4]:
True
In [5]:
False
In [6]:
False
In [7]:
In [8]:
In [9]:
True
In [10]:
True
In [11]: