An infinite word language which is not co-CFL
The complement of the set of left factors of an infinite word satisfies the iteration lemma for context-free languages but can be `not context- free'.
scientific article; zbMATH DE number 4039333