User:Inthar/MV3: Difference between revisions
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. | ||