User:Inthar/MV3: Difference between revisions
| Line 85: | Line 85: | ||
Assume len(S) >= 8. Write S in x's and q's, as above. By PWF, we have that the word of x's and q's is a MOS. | Assume len(S) >= 8. Write S in x's and q's, as above. By PWF, we have that the word of x's and q's is a MOS. | ||
'''Assuming the alternating generator property''', we have two chains of generator g0 (going right). The two cases are: | |||
O-O-...-O (m notes) | O-O-...-O (m notes) | ||
O-O-...-O (m notes) | O-O-...-O (m notes) | ||