automaton.is_synchronized
Whether the automaton is synchronized:
every transition has the same number of letters on every tape, except for a few leading to final states
in each accepting path, disregarding spontaneous transitions, if a is seen on one tape, no more letters will appear on this tape.
Preconditions:
automaton is a transducer
automaton has bounded lag
Caveat:
if the automaton does not have bounded lag,
is_synchronized
will not terminate.
See also:
Examples
The following automaton is not synchronized, because a transition with less letters on the second tape is followed by a transition with as many letters on each tape .
This automaton is synchronized, because the transition with less letters on the first tape occurs "at the end" : it is not followed by transitions with more letters on this tape.
Spontaneous transitions are not taken in account when checking for synchronization.
Note that in a synchronized automaton, the corresponding delay_automaton has delays of 0 or strictly increasing (apart from spontaneous transitions).