I'm trying to use the Pumping Lemma of regular expressions to prove the set of all finite substrings in the infinite string 012001122000111222000011112222... is not regular. E.g. 0120 and 20001 are substrings of it, 0122 and 111220 are not.
I'm thinking I can use 0k1k2k which is in the language.
And then by picking the shortest x for the pumping lemma it must be a non-empty string of 0s say length p 0k1k2k+p which would give 0122 at very least, and therefore is not in the language. Is this the correct method or is this completely wrong.