automaton.has_bounded_lag
Check if the transducer has bounded lag, i.e. that the difference of length between the input and output words is bounded, for every word accepted.
It is a pre-condition for transducer synchronization.
Preconditions:
The automaton has at least 2 tapes
Examples
This automaton has a bounded lag: there is at most a difference of 1 between the length of the input and the length of the output (e.g., ).
This transducer, however, doesn't have a bounded lag: there can be an arbitrary large difference between the input and output. For example, , but .
In the case of more than 2 tapes, has_bounded_lag
checks that every tape has a bounded lag compared to the first one (incidentally, if that is the case, it will insure that every tapes has a bounded lag in respect to every other). This transducer has a bounded lag if you only consider the first 2 tapes, but the third tape doesn't.