Pumping Lemma (For Context Free Languages) - Examples (Part 1)

แชร์
ฝัง
  • เผยแพร่เมื่อ 26 พ.ย. 2024

ความคิดเห็น • 135

  • @athulsanjeevan5293
    @athulsanjeevan5293 6 ปีที่แล้ว +116

    kudos to students from ktu.. you are not the only "one"....

    • @UNKNOWN-i2v
      @UNKNOWN-i2v 11 หลายเดือนก่อน +3

      Ktu 2024

  • @daddymoist7345
    @daddymoist7345 7 ปีที่แล้ว +63

    In case anybody is wondering about the pumping length, you don't have to specify the length. Simply say that there some pumping length 'p' that would result in too many of one letter, wrong pattern, ect. You could, for example, say that v is made of all a's and y is made of all b's, logically if you were to pump by any 'p' then you would have too many letters of either type because you're using 'i' for the check. 'i' is the important one, and you could select any 'i' that works. I hope this helped

    • @supremepancakes4388
      @supremepancakes4388 6 ปีที่แล้ว +17

      I agree. Naively if you only use a specific example where you specify p, your professor will 100% mark you off, because that is not the general case! I got points off from my homework for mentioning a length in my proof. Just avoid it entirely! This is very very important for exams. Reading the pumping lemma, it basically means, if there exists A p, which can be a known number, that satisfies the conditions, the string can be pumped; the reverse is NOT true. You cannot use a string and p = 7 that fails to satisfy the pumping lemma to reject that there MIGHT be a p out of ALL the other p's you didn't explore that makes the string belong to A. That's why you should only use a general p in your proof. I think this video should be updated.

    • @MrCmon113
      @MrCmon113 6 ปีที่แล้ว +1

      A better way to think about it is that you are given a p greater than one.
      Thinking in ways of playing a game with an adversary is very useful when doing proofs.

  • @TheTerminakill
    @TheTerminakill 7 ปีที่แล้ว +411

    I might be wrong but I think case 1 is false;
    When you split your word into uvxyz it turns out that |vxy|>P because v= aa, x = abbbbc and y = c, this means that |vxy| = 9 and p = 4
    This contradicts rule 2 of the PL which states that |vxy|

    • @AmirBecha94
      @AmirBecha94 7 ปีที่แล้ว +21

      same thing here! it's confusing me

    • @mayiwang
      @mayiwang 6 ปีที่แล้ว +95

      In case your still wondering your absolutely right. His counter example is invalid as the pumping lemma wouldn’t apply to it. In fact picking any value of p is invalid. These proofs should be done generally

    • @harshatunuguntla6462
      @harshatunuguntla6462 6 ปีที่แล้ว +10

      suffering from the same doubt

    • @spamspam5741
      @spamspam5741 6 ปีที่แล้ว +2

      Yes, this is true, what we do have in fact is case where v and y have a and b/ b and c as examples of case 1

    • @chanchalmaji1456
      @chanchalmaji1456 6 ปีที่แล้ว +9

      Yes the proof is wrong, see the next example he has changed the approach

  • @666drinking666
    @666drinking666 7 ปีที่แล้ว +153

    both examples are wrong. The pumping lemma states that |vxy| p = 4. furthermore you have to show that no matter how you divide your string the three conditions of the pumping lemma cant be satisfied all at once, so you have to show all or pick your cases in a more general way so it is clear that no matter how you divide it, it will always come do a contradiction

    • @KayDee_88
      @KayDee_88 5 ปีที่แล้ว

      but doesn't that mean the 3rd condition isn't met and hence A ain't CFL as we previously assumed??

    • @MultiIno123
      @MultiIno123 5 ปีที่แล้ว +21

      @@KayDee_88 It doesn't meet that condition in the case that he took. But Pumping lemma states that for some uvxyz the condition is valid, not for ALL uvxyz. So, disproving for one case is not sufficient. You need to disprove for all cases and say that there exists NO uvxyz such that this condition is true. His proofs are wrong and incomplete.

    • @ansonbarreto3661
      @ansonbarreto3661 6 หลายเดือนก่อน

      So we have to choose the string division which meets the condition
      |vxy|≤p&|vy|>0 ,so that we can prove the first condition is wrong ,that way we can generalise for different strings divided in different ways

  • @willingtushar
    @willingtushar 7 ปีที่แล้ว +79

    Attention!! please at 3:57
    you take out vxy from the 'S' right?
    but, according to pumping lemma, the way I choose vxy is that the "length of vxy is at most p" i,e, vxy

    • @ProfessionalTycoons
      @ProfessionalTycoons 6 ปีที่แล้ว +4

      2:39 I think he says that we are only going to concentrate on condition 1

    • @ilyaskarimov175
      @ilyaskarimov175 6 ปีที่แล้ว +4

      That is the reason why i went back to comments...

    • @danteeep
      @danteeep 4 ปีที่แล้ว +5

      +1 should be should be |vxy|

  • @chelseamensah1732
    @chelseamensah1732 7 หลายเดือนก่อน +1

    holy cow I dont know how you made me understand that in just 12 minutes. I was struggling with this too much

  • @marcoantoniorosadasilva3671
    @marcoantoniorosadasilva3671 11 หลายเดือนก่อน

    Thank you so much! I can't express how much you just helped me. It's almost 4am and I was just completely lost on this subject, I was struggling to understand how abc would be expressed as uvxyz and none of the sources that I checked explained it, they just assumed I would know. I finally understand it. Thank you so much!!!!!

  • @isam3l3
    @isam3l3 3 ปีที่แล้ว +3

    Thank you, great explanation. Favorite so far and most recommended... Stays textbookual, yet very direct unlike a textbook. I appreciate it, hopefully do well on test and great to know

  • @girishtripathy3354
    @girishtripathy3354 5 ปีที่แล้ว +20

    Sir just one thing. From that video where you explained the pumping lemma for regular language and took p as 7, that's not right. I did the same In my internals and professor reduced the marks In that question.. He said, "You cannot assume a P. You have to work out with p as a variable only".

    • @brainify6172
      @brainify6172 4 ปีที่แล้ว +5

      he's explaining the concept only by taking p = some value, but while you are proving you have to generalise.

  • @ProfessionalTycoons
    @ProfessionalTycoons 6 ปีที่แล้ว +13

    the | vxy | length have to be smaller or equal to p

  • @sumedhakamble9164
    @sumedhakamble9164 5 ปีที่แล้ว

    L={a^i b^j c^k l I

  • @LuvnPayne45
    @LuvnPayne45 6 ปีที่แล้ว +17

    Your case 1 is invalid. |vxy| is greater than your pumping length 4.

  • @iabukai
    @iabukai 6 ปีที่แล้ว +9

    index: it is also called Bar-Hillel Lemma

  • @junaidkhalidi7099
    @junaidkhalidi7099 3 ปีที่แล้ว +5

    your both cases are wrong , |vxy| should be less than or equal to 'p' .

  • @weeeju
    @weeeju 5 ปีที่แล้ว +3

    Late to the party but as others have eluded to: proof by contradiction using a counter example is the same thing as trying to prove the language isn't context free because you can't find a string that that an NPDA would accept. This is a fallacy.

  • @MrCmon113
    @MrCmon113 6 ปีที่แล้ว +4

    This is conpletely wrong, as others have pointed out.
    You are given an n greater than 1.
    Then you can choose a word that's as long as or longer than n.
    Then you have to show FOR ALL POSSIBLE decompositions that satisfy the two conditions (vwx is shorter or as long as n; and v and x are not both empty) that the word can be pumped out of the language.

  • @Amitsa299
    @Amitsa299 7 ปีที่แล้ว

    your pace is awesome.

  • @bharathhegde4665
    @bharathhegde4665 ปีที่แล้ว +2

    7:17 Wrong. The pumping lemma says *there exists* a split uvxyz such that those conditions are satisfied; it doesn't say it should be satisfied for all splits, so saying that it is not context free just because it doesn't belong for only case 1 is incorrect

  • @HishaMized
    @HishaMized ปีที่แล้ว

    Incorrect division of string in Case 1. The string was supposed to be divided into uvxyz in such a way that | vxy |

  • @eck1997rock
    @eck1997rock 6 ปีที่แล้ว +6

    How do you just choose P? Doesn't it say ∃P ?

  • @dhanushsivajaya1356
    @dhanushsivajaya1356 3 ปีที่แล้ว

    Thankyou sir

  • @nonelelacele9300
    @nonelelacele9300 2 ปีที่แล้ว

    well explained

  • @y01cu_yt
    @y01cu_yt 2 ปีที่แล้ว

    Thanks!

  • @ridwannana-yawamoako2939
    @ridwannana-yawamoako2939 7 ปีที่แล้ว +3

    I have observed that in answering your questions on pumping lemma you always chose value of p to be same as value of n. In this particular case p=4 and n=4. You did same for pumping lemma examples for regular languages when you had to prove that a pow(n) b pow(n) was not a regular language. Any specific reason? Thank you.

    • @niteshswarnakar
      @niteshswarnakar 3 ปีที่แล้ว +2

      that's what i have been searching for why this specifically ?

  • @worshiperdot3677
    @worshiperdot3677 3 ปีที่แล้ว

    brilliantly explained

  • @devmahad
    @devmahad ปีที่แล้ว

    Done - thanks

  • @anandhasantosha4424
    @anandhasantosha4424 5 วันที่ผ่านมา

  • @oguldibi
    @oguldibi 6 ปีที่แล้ว

    Sen nasil bi kralsin ya ..

  • @ancient1844
    @ancient1844 2 หลายเดือนก่อน

    Incorrect. There is a rule that the length of vxy must be less than or equal to p.

  • @Rajan_Jha-z7m
    @Rajan_Jha-z7m ปีที่แล้ว

    So according to this a^n b^n is also not a CFL

  • @pirateboygaming2726
    @pirateboygaming2726 7 หลายเดือนก่อน

    The same question is on Wikipedia. Yiu can check it out to solve it the correct way.

  • @aishu6653
    @aishu6653 ปีที่แล้ว +2

    Any one case is enough for exam right?? 👀

  • @dhakshinar
    @dhakshinar 7 ปีที่แล้ว +2

    Pls upload other videos push down Automata, Turing machine..

  • @aayushchaulagain5324
    @aayushchaulagain5324 ปีที่แล้ว

    I am confused while testing you having taken |vxy|>=p which contradicts your previous lecture's steps.

  • @francescapugliese3096
    @francescapugliese3096 3 ปีที่แล้ว

    PERFECT!

  • @neEs6624
    @neEs6624 ปีที่แล้ว

    Awesome

  • @manikanta-oh3qy
    @manikanta-oh3qy 7 ปีที่แล้ว

    Sir plz upload electromagnetics for ece lectures...

  • @deepneon
    @deepneon 5 ปีที่แล้ว +1

    you have totally messed it up, sir!! I came here for simplification , but huhhhhhhhhhhhhh :XD

  • @aneeshagarwal4746
    @aneeshagarwal4746 ปีที่แล้ว

    You the goat

  • @saiprakash2514
    @saiprakash2514 4 ปีที่แล้ว

    How did he actually categorize some a's for v some for v and some for x and y,z respectively??Lyk how we actually take that quantity??

  • @jskzo
    @jskzo ปีที่แล้ว

    It is not correct to take a particular value of the pumping length. One needs to prove for all possible pumping length.

  • @AllVideos96104
    @AllVideos96104 3 ปีที่แล้ว +2

    if we put i= 1 in case 1 then what should we get ?

  • @DrAmitkumarPathak
    @DrAmitkumarPathak ปีที่แล้ว +1

    If S>P then how you have taken P=4 ??

  • @sunilmanikandan4387
    @sunilmanikandan4387 3 ปีที่แล้ว +3

    What is the difference between pumping lema for non regular and pumping lema for context free?

  • @jackschneider863
    @jackschneider863 13 วันที่ผ่านมา

    my professor uses uvwxy instead of uvxyz this confused me so much

  • @MuhammadUsamaQamar
    @MuhammadUsamaQamar 5 ปีที่แล้ว

    what if i take u=aa v=aa x=bbbb y=cc and z=cc in that case no matter what is i it'll always be same

  • @aniketsaxena1892
    @aniketsaxena1892 4 ปีที่แล้ว +2

    What happens when we take i=1
    Please reply sir🙏🙏

  • @nandishkr7864
    @nandishkr7864 3 ปีที่แล้ว

    What if we take i=1.....then it becomes a context free...

  • @innociduousnepheliad8140
    @innociduousnepheliad8140 ปีที่แล้ว

    Do not follow this method. Method of contradiction only works if the statement claims to be true for "all" values of p, not when it says "there exists" a value of p. In this case, you have to show that no value of p exists that satisfies these conditions by assuming a general p and proceeding to disprove the language.

  • @martian0x80
    @martian0x80 5 หลายเดือนก่อน

    I don't think this is correct. You need to show that all the possible decompositions of S, THAT SATISFY the other 2 conditions, can be pumped out of the language.

  • @testphp667
    @testphp667 4 ปีที่แล้ว

    check abc

  • @ashis9324
    @ashis9324 5 ปีที่แล้ว +1

    Hello sir please do a example upon L={0^p| p is prime} is not a CFL

  • @ayushidhingra9756
    @ayushidhingra9756 6 ปีที่แล้ว +1

    What if all the powers are different ?

    • @patvax137
      @patvax137 6 ปีที่แล้ว +1

      Then it's a regular language

  • @ayushsharma397
    @ayushsharma397 7 หลายเดือนก่อน

    Straight incorrect solution, you cannot specify p value. you have proved the string with that p value does not satisfy pumping lemma, instead you should take a generic string say a^p b^p and prove that for any split and i>=0 the string will not belong to L.

  • @vatsalgp
    @vatsalgp 4 ปีที่แล้ว

    It's absolutely wrong. You have to consider all the cases not an example from one case.

  • @MinhLe-xk5rm
    @MinhLe-xk5rm 5 ปีที่แล้ว

    Awesome video sir

  • @brensenvillegas7177
    @brensenvillegas7177 2 ปีที่แล้ว

    doesn't |vxy

  • @matthewlev1342
    @matthewlev1342 5 ปีที่แล้ว

    Do you have to do both cases?

  • @poojamahanand8021
    @poojamahanand8021 7 ปีที่แล้ว +1

    Thankyou Sir:)

  • @4.5مليون
    @4.5مليون 2 ปีที่แล้ว

    please active auto subtitle

  • @rukaiyayaqoob6545
    @rukaiyayaqoob6545 2 ปีที่แล้ว

    Sir plz tell me how we can divide the abc in uvxyz

  • @USBEN.
    @USBEN. 5 ปีที่แล้ว

    We can select any range of symbols for any of the UVXYZ ?

  • @danialsaeed1083
    @danialsaeed1083 4 ปีที่แล้ว

    do we have to make more then 1 case ???

  • @arpitsharma-c4n
    @arpitsharma-c4n 6 หลายเดือนก่อน +1

    NIET Student attendance 🤫🤫🤫 what the use of 85% attendance in college

  • @auwee7251
    @auwee7251 4 ปีที่แล้ว +1

    You can't just take a random P and base your proof on that, you need to consider ALL possible values of P. Please remove this video.

  • @shaswatpatra4716
    @shaswatpatra4716 ปีที่แล้ว

    sir why i is taken 2 here???? Can we take value of i as any number????

  • @rahulsyt_
    @rahulsyt_ 2 ปีที่แล้ว

    UTU Students.. Give attendance !!

  • @sksp9028
    @sksp9028 2 ปีที่แล้ว

    gaaaaaaaaaaaaalaaaaaaaaatttttttttttttttttt

  • @stephanielfagan
    @stephanielfagan 7 ปีที่แล้ว +2

    Is it necessary to do more than 1 case doing a pumping lemma contradiction proof for context free languages? All the examples I see online prove with at least 2 or more cases, but no one actually explains why. Is it sufficient to disprove with 1 case?

    • @jh007x
      @jh007x 7 ปีที่แล้ว +2

      if you prove by one case it´s enough

    • @jh007x
      @jh007x 7 ปีที่แล้ว +1

      but if you don´t find any contradiction, you have to try all cases

    • @werbungschrott4050
      @werbungschrott4050 7 ปีที่แล้ว +13

      I think thats wrong ... The reason multiple cases are used is because you have to show, that NOT A SINGLE uvxyz decomposition exists, such that all three conditions are satisfied.
      To give a counter example to Nesos Answer: L = {a^nb^n} is a context-free language. However if you choose v such that it contains as and bs, condition 1 will not be satisfied. However, that doesnt mean that L is not context-free.

    • @siegfredch.960
      @siegfredch.960 6 ปีที่แล้ว +1

      Werbung Schrott it took me 16 hours to get this conjecture. And you have confirmed my guess. Thank you. I hate teacher/professor that doesn't teach properly!!

    • @MrCmon113
      @MrCmon113 6 ปีที่แล้ว

      No.
      The Pumping Lemma says that there EXISTS a decomposition with the attributes. So you have to show that every single possible case is not in the language after being pumped.

  • @vaibhzDixit
    @vaibhzDixit ปีที่แล้ว

    Wrongggggg

  • @julakantigopi2783
    @julakantigopi2783 5 ปีที่แล้ว +1

    Sir, can we take any value for p=1,2,... Or not

  • @rumanzahid6671
    @rumanzahid6671 5 ปีที่แล้ว

    Veryy niiccceeeeeeeeeeeee

  • @neeraj8867
    @neeraj8867 3 ปีที่แล้ว

    4 ela tisukunav ra munda

  • @omersohail1067
    @omersohail1067 2 ปีที่แล้ว

    everyone watch easy theory this guy is a crook guy. only takes first example of sipser book. please.

  • @onemanshow4116
    @onemanshow4116 5 ปีที่แล้ว

    Please consider removing video. It is wrong.

  • @malvikapathak4971
    @malvikapathak4971 7 ปีที่แล้ว

    Please upload turing machine vedio

  • @passamaquoddy8311
    @passamaquoddy8311 3 ปีที่แล้ว

    The English is annoying. Some sort of pidgin-English!

  • @divyaagarwal3091
    @divyaagarwal3091 2 ปีที่แล้ว

    Thankyou sir