|
|
| Line 61: |
Line 61: |
|
| |
|
| [_ X X X _] [_ X X X _] [_ X X X _] | | [_ X X X _] [_ X X X _] [_ X X X _] |
|
| |
| ...
| |
|
| |
| If the occurrence of any class has an X inserted in the middle, then we can scoot it left or right until we have one of T1(possibly with inserted X's)+X, T2(possibly with inserted X's)+X, or T3 (possibly with inserted X's)+X. Scoot the string with the least X's to the left and you lose the X on the right, and gain another non-X letter on the left so you get a fourth variant of this interval class that contains T1 + X, a contradiction. (Check this again...)
| |
|
| |
| === Lemma 2: Sizes of chunks of any fixed letter form a MOS (except in the case "XYZYX") === | | === Lemma 2: 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. |