0

There is a direct way to prove it: If p is the pumping length and we take the string s = 0p1p+p!, then no matter what the decomposition s = xyz is the string xy1+p!/|y|z will equal 0p+p!1p+p! which is not in the language.

I don't understand the value y given here.

chiwangc
  • 3,566
  • 16
  • 26
  • 32
Harshal Carpenter
  • 470
  • 1
  • 9
  • 24
  • [Also a good explanation](http://math.stackexchange.com/questions/975979/is-this-language-regular-0n-1m-mid-m-ne-n-i-dont-understand-the-dir) – Harshal Carpenter Oct 16 '14 at 03:45
  • 1
    This question appears to be off-topic because it is about theory of computing, not programming. Try http://cs.stackexchange.com/ – Raymond Chen Dec 25 '14 at 05:57

1 Answers1

0

y is some substring that can be "pumped" - repeated * times - and still keep the language regular. Basically, we have to find a loop in there somewhere, and that loop is what y represents.

Basically, if the language is of the form 0m1m! (m zeroes followed by m! ones) then there can't be a loop in there.

In this case, y represents "the hypothetical pump string for the subset language {0m1m!}" - hypothetical because it cannot exist! Clearly, no pumping is possible for this smaller language, since repetition will take us out of the language immediately. (consider the example 00111111 - can we find a pump string for this?) Therefore, we have a special case of the language which is not regular, therefore the language generally is not regular. (though it certainly contains special cases which are regular, but this is not in dispute)

chiwangc
  • 3,566
  • 16
  • 26
  • 32
Jon Kiparsky
  • 7,499
  • 2
  • 23
  • 38
  • No no, I understand that, I dont understand the value of y in this particular question which is proving this language is not regular. Thank You. – Harshal Carpenter Oct 16 '14 at 02:33