Kernel: Python 3
automaton.subword
An automaton that accepts all the suffixes of the subwords accepted by the previous automaton. This is the "Magnus transform".
Algorithm: Every proper transition yields a spontaneous transition with equal source, destination and weight.
Preconditions:
None
Postconditions:
the labelset is nullable (even if the input one was not).
See also:
Examples
In [1]:
In [2]:
In [3]: