Re: pumping lemma question



3ashmawy <3ashmawy@xxxxxxxxx> wrote:
I always get confused by "pumping up" and "pumping down" notations.
Could someone clarify it for me. and weather it have a different
meaning for Context free languages.

The pumping lemma for regular language states that under the given
conditions, there's a partition x = uvw, such that u(v^i)w is in the
language for all i greater than OR EQUAL TO zero. Since uvw was a
partition of a string in the language, you have the i = 1 case
trivially. As informal terms, "pumping up" just means that you are
considering a case where i > 1, and "pumping down" means that you are
considering the case i = 0. Note that neither "pumping up" nor "pumping
down" are mentioned in any formal statement of the pumping lemma. I'm
not even convinced that it's pedagogically sound to make the
distinction. But many people do.

For example, suppose my string is abbaaabbaba, and I partition it as
(abba)(aab)(baba), where the parens are only used for grouping and are
not part of the alphabet. Then "pumping down" means that I look at the
string (abba)(baba) [without the parens: abbababa] to ensure that it is
in the language. On the other hand, pumping up would mean looking at
something like (abba)(aab)(aab)(baba).

The pumping lemma for context-free languages has pretty much exactly the
same meaning; the partition is x = pqrst, and p(q^i)r(s^i)t is
guaranteed to be in the language, again for all i greater than or equal
to zero. The terms "pumping up" and "pumping down" mean the same thing:
that you are considering the case i > 1, or i = 0, respectively.

Does that help?

--
Chris Smith
.



Relevant Pages

  • Re: pumping lemma for CFL
    ... The "basic" version of the pumping lemma goes more or less like this: ... resulting string is in L. ... For example, given some string in a language L divided into three parts x, ... If L is regular, then all these strings have to be in L given that xyz is ...
    (sci.math)
  • Re: Pumping Lemma for CFLs
    ... > I am having trouble on figuring out which closure property to use and ... Since you say that you need to show the language is CF *using the ... pumping lemma*, don't bother with the closure properties. ... then something is CF. Do you know of any closure property ...
    (comp.lang.java)
  • Re: Is this language context sensitive?
    ... context free, ... - for real examples of CSG's for CSL's, I'd suggest either real books ... Formal Language Theory has some examples (Hopcroft&Ullman ... you can use the plain old pumping lemma instead of Ogden's lemma. ...
    (comp.theory)
  • Re: closure properties of regular languages
    ... the full language is really something like: ... balanced parens are not regular. ... the language of P is also not regular. ... In that way the pumping lemma is subtle. ...
    (comp.theory)
  • Re: Windows XP Pro and locales (languages)
    ... > in the language version you desire and install it on a separate drive ... > so you can easily boot into the language version you desire. ... > If you wish to create new partition for installing Windows XP, ...
    (microsoft.public.windowsxp.general)