Click here for an illustration of the proof applied to a specific language L)
prefix (0) | |
prefix (1) | x_{1} |
prefix (2) | x_{1}x_{2} |
prefix (3) | x_{1}x_{2}x_{3} |
... | ... |
prefix (|Q|) | x_{1}x_{2} ... x_{|Q|} |
x_{1} | x_{2} | ... | x_{i} | |||
x_{1} | x_{2} | ... | x_{i} | x_{i+1} | ... | x_{j} |
Strings of the form x_{1}x_{2} ... x_{i} (x_{i+1} ... x_{j})^{k} x_{j+1} ... x_{|x|} are in L for any k 0.
prefix (0) | |
prefix (1) | a |
prefix (2) | ab |
prefix (3) | aba |
Strings of the form (aba)^{k}baaa are in L for any k 0.