User:Inthar/MV3: Difference between revisions

Inthar (talk | contribs)
Inthar (talk | contribs)
Line 39: Line 39:
Below, assume that the scale word S is not multiperiod.
Below, assume that the scale word S is not multiperiod.


=== Lemma 1: S is pairwise-well-formed, i.e. sizes of chunks of any fixed letter form a MOS (except in the case "xyzyx") ===
=== Lemma 1: S is pairwise-well-formed (PWF), i.e. sizes of chunks of any fixed letter form a MOS (except in the case "xyzyx") ===
TODO: account for case xyzyx.
TODO: account for case xyzyx.