Pumping Lemma for Regular Languages TWENTY Examples and Proof Strategies!

Поделиться
HTML-код
  • Опубликовано: 23 ноя 2024

Комментарии • 133

  • @EasyMoneyLuu
    @EasyMoneyLuu 3 года назад +85

    My guy I would hope you know how many lives you've saved you are a true hero and we thank you

  • @alanchang3577
    @alanchang3577 Год назад +64

    I got a 93 for the exam and my pumping lemma proof is ALL right because of you! Thank you so much!!

  • @samuel_howell
    @samuel_howell 3 года назад +132

    Sir. You are a godsend. Currently in a computational theory class. You've explained it 10 times better than my professor. And now I'm running through this ungodly amount of homework like a champ! Keep doing what you're doing bro!

  • @kristiyandimov1166
    @kristiyandimov1166 5 месяцев назад +4

    THIS AWSOME DUDE saved my life at finals in software engineering course degree at university, keep up the good work and make more videos like these! Highly appreciated! Thank you!

  • @paswalt1502
    @paswalt1502 3 года назад +62

    Exam in a month! I am honestly thankful to have stumbled upon your channel. Not only do I really enjoy the subject of computational theory, but also your videos. I really appreciate the use of colors, the clear and concise explanations and the obvious enjoyment of the topic at hand. Thanks, we need more people like you, really! There's a lot of other (even very big) topics in computer science not many people make videos about as dedicated as you. Keep up the work!

    • @EasyTheory
      @EasyTheory  3 года назад +5

      Thanks very much!

    • @alinac5512
      @alinac5512 Год назад +6

      Exam tomorrow and we're allowed to bring one sheet of handwritten paper. Guess whats gonna be on it 😂.

  • @resha7601
    @resha7601 2 года назад +8

    This tutorial is just underrated! Hands down this is the best and most reliable tutorial I have seen concerning pumping lemma💯

  • @Heinzaroo
    @Heinzaroo Год назад +2

    holy MOLY I was so confused on how to split up xyz during my entire 1.5 hour class but you cleared that up for me within a matter of minutes. Thank you kindly

  • @SleepyLellek
    @SleepyLellek Год назад +3

    My man, you are the GOAT! Thank you so much for showing these proofs. I finally managed to understand the application of the Pumping Lemma, thanks to your explanations 🙏

  • @Rockyzach88
    @Rockyzach88 Год назад +2

    Watched up to 12 minutes just now. It makes perfect sense. I don't understand why more instructors of this concept don't break down the exponents this much. Instead they sort of just describe it in english and it gets kind of confusing.

  • @soumyadeeproy6611
    @soumyadeeproy6611 2 года назад +13

    Simply blown away by your style of teaching, really fabulous explanation... Now I will watch every single video made by you on theory of computation

  • @juliusfranzen9704
    @juliusfranzen9704 Год назад

    Saw this video two days before my exam. And now i finally understand this topic. Thank you so much for this video.

  • @cmptlylost
    @cmptlylost Год назад +1

    This was so immensely helpful, following your step by step process leads me straight to the answer every time. Thank you so much!

  • @mariajosepav
    @mariajosepav Год назад +3

    You helped me nail my exam! Thank you so much for the free educational content you create, your videos have become a must for me to follow as I go through my course (even more important than the course itself most times😂)

    • @KurokishiYT
      @KurokishiYT Год назад

      Did you understand why he didn't take 0^p0^p for the ww example at 1:44:00?

  • @tongpoo8985
    @tongpoo8985 3 года назад +6

    THIS is quality educational content. I wish there were more videos like this.

  • @ericshapiro4932
    @ericshapiro4932 Год назад

    Thank you for these very-well explained proof examples. I now understand how to properly select i's given varying pumping lemma proofs. You are a godsend

  • @mnmLCoder
    @mnmLCoder 10 месяцев назад +1

    better than my prof could ever explain. TY

  • @sukulhanda
    @sukulhanda 2 года назад +2

    Your channel saved my class. Tysm

  • @j.j.3759
    @j.j.3759 8 месяцев назад

    Thank you :) I'm taking a theoretical informatics class and I like the professor, but his way of explaining things is sometimes hard to follow. This makes everything so much clearer.

  • @erenasker825
    @erenasker825 Год назад

    This video changed my life. Thanks Mr. Easy Theory

  • @al-mouhannadhafez3817
    @al-mouhannadhafez3817 Год назад

    Thank you for useful explaining.
    Please note that in the last example we have
    P! + P < (P+1)!
    iff : P>=2
    so we have to choose p' = max (P,2) and deal with p'

  • @rodrigoresende8328
    @rodrigoresende8328 3 года назад +2

    This video eased my pain. I can now see. Thanks a lot for producing such clear explanations!

  • @FreeDomSy-nk9ue
    @FreeDomSy-nk9ue 3 года назад +15

    I was actually just starting to look for pumping lemma proofs, then this showed up!

    • @EasyTheory
      @EasyTheory  3 года назад +2

      Lucky timing ;) hope it helps!

    • @FreeDomSy-nk9ue
      @FreeDomSy-nk9ue 3 года назад +1

      @@EasyTheory The exam is in 3 days. Thank you

  • @lakshaysingla7412
    @lakshaysingla7412 Год назад

    After so much struggle for pumping lemma! I found the pumping lemma god 🖤

  • @toddblackmon
    @toddblackmon 3 месяца назад +1

    In the final factorial proof, I think there is a slight error for the case where p = 1 (which is allowed by the lemma). In that case, the final inequality p!+p < (p+1)! does not hold since 1!+1 = 2!.
    I think the solution to this issue is shown in the previous where you just used a longer w string. Something like w = 0^(p+1)! could be used instead.

  • @bigsanity
    @bigsanity 10 месяцев назад

    Best video on the Pumping Lemma subject. Awesome ❤

  • @erichgruttner
    @erichgruttner Год назад +1

    Thank you very much for your work!!! So clear and helpful!

  • @sanskaripatrick7191
    @sanskaripatrick7191 7 месяцев назад

    Incredible explanation. Thank you so much for this video

  • @Karim-nq1be
    @Karim-nq1be 5 месяцев назад

    Thank you, I really enjoy your videos and way of explaining.

  • @tomassantos5008
    @tomassantos5008 10 месяцев назад

    Thanks from Portugal , very helpful indeed ❤

  • @ayushsharma397
    @ayushsharma397 7 месяцев назад +1

    Really helpful! This kind of clear explanation shows how deep and clear your understanding is in this subject. Commendable! Thankyou so much! are you a scientist by any chance?

  • @abnerandreymartinezzamudio3366
    @abnerandreymartinezzamudio3366 2 года назад

    I love your videos and passion. You make my life less anxious.

  • @greendroid10
    @greendroid10 2 года назад

    Exam tomorrow and finally understand how to do these kinds of problems at all! Wish I had seen this video before I turned in my last assignment though...

  • @rildofranco2863
    @rildofranco2863 5 месяцев назад +2

    Any way I can help you or the channel? Thank you for your the lessons.

  • @MultiDragola
    @MultiDragola 7 месяцев назад

    I love you man i am dumb brain and even though ill forget this in a few weeks itll definitely help my exams

  • @miguelmendez3236
    @miguelmendez3236 2 года назад +1

    This was always difficult for me to understand thank you for going to extra lengths to explain this!

  • @iTux82
    @iTux82 2 года назад

    wow. it makes a lot more sense this way. I dont know why my prof and and textbook didnt bring up the exponent algebra required.

  • @adetunjiadewoye2534
    @adetunjiadewoye2534 Год назад

    Doing the lord's work!

  • @duncanjr.5905
    @duncanjr.5905 8 месяцев назад

    you are literally so so good

  • @thinkverse2672
    @thinkverse2672 2 года назад

    Thank you for the lecture, cleared all my doubts!! 👐

  • @NoClipShort
    @NoClipShort Год назад

    what a great, easy to follow video! well done

  • @valuetraveler2026
    @valuetraveler2026 6 месяцев назад

    Ser you are a theory god

  • @sabrinchahed9312
    @sabrinchahed9312 Год назад

    Great explanation that was tooo helpful. Many thanks

  • @premnath2333
    @premnath2333 22 дня назад +1

    32:02 Can't I choose i = 0, since that will still be valid?? Please reply!!

  • @NaveenRodriguez
    @NaveenRodriguez 16 дней назад

    dude you are the goat

  • @alicets9682
    @alicets9682 5 месяцев назад

    You are incredible!

  • @Tlaloc2325
    @Tlaloc2325 3 года назад +2

    Thank you so much for this, it helped me so much!

  • @김지은-p1b7y
    @김지은-p1b7y 2 года назад +1

    49:36
    i tried my best, but i cant't understand why i can't pump down and prove that. when i did pumping down, i get b (number of y) = 1 and i = 0.
    Is it problem that only we can prove it only when b=1 whereas other prove before it was okay in all b??
    I thought i got everything right before it but now i'm really confused....

  • @yasamankhoobyari4690
    @yasamankhoobyari4690 5 месяцев назад

    Thank you very much.

  • @LENOKOK
    @LENOKOK 3 года назад

    You're such a good teacher 🙂

  • @Altair02901
    @Altair02901 2 года назад

    thank u so much for these kind of videos, super helpful!

  • @ahmetresatdemir3216
    @ahmetresatdemir3216 13 дней назад

    Sir, for the primes question, does this approach works: similar to your choosing r, choose r such that r>p. after some calculation we will find 0^(r+(i-1)B). pumpu up i-1=r so, 0^(r+(i-1)B)=0^(r+rk)=0^(r(1+B)). Since B>0, there are two multiplier, which shows it is not prime.

  • @aaaaaaaa-xg4je
    @aaaaaaaa-xg4je Год назад

    I usually dont comment
    but thank you so fricking much for this

  • @dance1836
    @dance1836 Год назад

    dude you're amazing

  • @pietrociarmatori4506
    @pietrociarmatori4506 4 месяца назад

    Question: In 2:05:11 you used the p! trick to prove that x and y can be different. Could you have used a string of this format: 0^p11^p0 (x terminates after the first 1) to prove that x an y can be of different length? I ask this because I understand that to prove that a string is not anymore in the language, in this case, proving that one of the two conditions fails is enough.

  • @vimalathithand917
    @vimalathithand917 11 месяцев назад

    You are a god....! I'm soo greatfull and this was an awesome video! Though i need to think on choosing the w in some cases which i am sure that i will figure it out ;)

  • @andreassadi5064
    @andreassadi5064 Год назад

    You are amazing. Thank you

  • @haydengalloway5177
    @haydengalloway5177 3 года назад

    You are really good. Thank you so much.

  • @egemenatik2983
    @egemenatik2983 Год назад

    For the eighth example, would it be correct if we apply the following solution?:
    If we take intersection of the language (0*1*) with the complement of the language in the example, we get 0^n1^n. If the language in the question is a regular language, then its complement must also be a regular language by closure property of regular languages under complement operation. Again, if we take intersection of this resulting language with (0*1*), which is also a regular language because we can write regex of it, then we should have a regular language as result. However, we get 0^n1^n: n>=0. We already proved that this is not a regular language, so by contradiction we can say that the language in the example is not a regular language.

  • @AP-gu8wv
    @AP-gu8wv 2 года назад

    Thank you so much for this tutorial video!!!! Helps me so much in understanding this theory:)

  • @andrespolop
    @andrespolop 2 года назад

    You're a genius bro, thx a lot!!!! You've saved me :DDDD

  • @TDYT103
    @TDYT103 28 дней назад

    2024 Oct 27
    This is very helpful. Thank you!

  • @dlarald
    @dlarald 2 года назад

    I love you you really saved me 😭

  • @bobbobby3123
    @bobbobby3123 2 года назад +1

    For the factorial example the statement: p! + p < (p+1)! is not true when p = 1.
    Does this matter?

  • @char117
    @char117 2 года назад +1

    Very helpful thank you. However I'm a bit stuck as to why in question 11 for the statement 2^(p) + (i-1)beta is a power of 2. Is it because in this specific question the language is 0^2^n? as in u just take the 2 because its multiplying by 2?

  • @Sergeak21
    @Sergeak21 2 года назад +1

    for the problem1 at 47:44 L = {0^n 1^m : m != n} you said that w = 0^p+1 1^p won't work and i agree, but what about w = 0^p 1^p+1? it seems that u should be able to pump in 0's to get to the number of 0's the same as the number of 1's? is there a reason for why this won't work? P.S love ur vids

    • @karidse
      @karidse 2 года назад

      i just tried and it is not possible bcz you cannot prove in any way that p+B(i-1) = p+1 .

    • @bananabr3d
      @bananabr3d Год назад

      @@karidse Shouldnt it be p+B(i-1)

  • @youssefbrahim500
    @youssefbrahim500 2 года назад

    this helps a lot thank you so much!!

  • @prerakpanwar9853
    @prerakpanwar9853 Год назад

    Professor for 3rd question where the number of 1's > the number of 0's. Could you please tell me a String that will work both in pump up and pump down? Your prompt response is highly appreciated. Thank you.

  • @therealestvideos-sf
    @therealestvideos-sf 11 месяцев назад

    for 49:13 just take the complement and do the PL, you made it way more complex than it needs to be

    • @iluvgranola2313
      @iluvgranola2313 4 месяца назад

      hey, can you explain please ? I thought I got it until this example. I literally want to give up. :(

  • @srajangupta4468
    @srajangupta4468 2 года назад

    really helpful, thanks

  • @asunnya8339
    @asunnya8339 4 месяца назад +1

    I love u dude.

  • @charlesmerritt8127
    @charlesmerritt8127 Год назад

    For no.15, What is the kleene closure? What is defined by the predicate of the set?

  • @TheTortinator
    @TheTortinator 4 месяца назад

    You're a god

  • @jewelleharper6285
    @jewelleharper6285 2 года назад

    Your sweatshirts should be black with multi colors, because it's kind of your signature (also, because I can't actually keep anything white)... Then I would buy one. But seriously awesome videos as always

  • @fpsgod7259
    @fpsgod7259 Год назад

    Hey great video could you do one for : L= c^m a^n b^n OR a^n b^m ? Thanks

  • @duncanjr.5905
    @duncanjr.5905 8 месяцев назад

    i feel ready for my toc paper

  • @sobkhed1716
    @sobkhed1716 5 месяцев назад

    well done

  • @silvo9460
    @silvo9460 28 дней назад

    at 1:52:00 can we have used 0^p#0^(P+P!)?

  • @gamegladiators777
    @gamegladiators777 3 года назад

    You earned one more subscriber

  • @rookiecookie8258
    @rookiecookie8258 Год назад

    Hey, really like your videos! Can one use 0^r for primes where r is the first prime after p and then choose i to be (r−1)! + 2 and apply Wilson's theorem?

  • @Ivan-ou5nq
    @Ivan-ou5nq Год назад

    Thank you

  • @clashking8427
    @clashking8427 Год назад

    Now that's cool..........I took me a lot of afford to reach this video

  • @Ata-r5r
    @Ata-r5r Год назад

    At 2:19:46, why did we say it is strictly less than p!(p+1), if p would be 1, the expressions are equal?

    • @undercover4874
      @undercover4874 7 месяцев назад

      May be we could just say for p>=2 at the start then continue the proof

  • @ananyathomas9348
    @ananyathomas9348 Год назад

    Absolute gift to mankind 🤌😩

  • @supamdeepbains5172
    @supamdeepbains5172 3 года назад

    This is soooo goooood

  • @nsp-rc9tw
    @nsp-rc9tw 8 месяцев назад +1

    goat

  • @sumabanoth4314
    @sumabanoth4314 3 года назад

    Hi professor could u please explain pumping lemma for a^4n for all n>=0

  • @NuggzBii
    @NuggzBii 2 года назад

    I don't think the string chosen in problem 19 is actually in the language, and if it is, it's not easy to tell. Can someone please describe how 0^p10^p! +p1 are even in length. If string x is 0^p1, and string y is 0^p!+p1, they are not in the language. Even if x is 0^p and y is 0^p!+p, it's not in the language

  • @nataliasalesaragao4410
    @nataliasalesaragao4410 2 года назад

    Thanks!!

  • @aayushbhandari4387
    @aayushbhandari4387 3 года назад

    wow, instant subscribe

  • @lookwhoneedsahobbie
    @lookwhoneedsahobbie 2 года назад

    Where did the p+(i-1)\beta come from in the non-palindromes proof (18)?

  • @augustopinheiro
    @augustopinheiro 9 месяцев назад

    Awesome :)

  • @yousafkhalid5263
    @yousafkhalid5263 2 года назад

    How do you judge which string you should use for pumping

  • @reese322
    @reese322 3 года назад +1

    First of all, thank you for your videos, they're helping a lot passing my exam. You explanations are very clear and intuitive.
    At 48:00, can't you just prove that by showing that the complement (0^p1^p) is not regular?

    • @EasyTheory
      @EasyTheory  2 года назад

      Close! You can do that but then have to intersect the original language with 0*1* to get to {0^p 1^p : p >= 0}, since it's not exactly the complement. What I did here is a "direct" proof that does not assume any other facts about regular languages.

  • @hassanalhomsi3655
    @hassanalhomsi3655 3 года назад

    please make a video about Myhill and Nerode.

    • @EasyTheory
      @EasyTheory  3 года назад +1

      Your wish is my command: ruclips.net/video/zmdkr4BMqR4/видео.html

    • @hassanalhomsi3655
      @hassanalhomsi3655 3 года назад

      @@EasyTheory Love you

  • @larry_the
    @larry_the 3 года назад

    Pumping lemma galore

  • @jessicazumbach1943
    @jessicazumbach1943 5 месяцев назад

    Can you please do
    { 0^n 1^m 0^n | m,n ≥ 0} ???

    • @rain-droid
      @rain-droid Месяц назад

      Can't you use w = 0^n0^n and w = xyz as x = 0^\alpha, y = 0^\beta, z = 0^{p-\alpha-\beta}1^m0^p. xy^iz = 0 ^{p-\beta+i\beta}1^m0^n. |0^{p- \beta + i\beta}| = |0^p| p - \beta + \beta * i = p - \beta + \beta * i = 0 \beta * i = \beta only true for i = 1, if we take i = 2 , we can pump it out

  • @bloodthirstybutcher8365
    @bloodthirstybutcher8365 2 года назад

    at 31:11 where did that 2p after the equals come from?

  • @LucianTranc
    @LucianTranc 3 года назад

    good vid

  • @chrismalingshu
    @chrismalingshu Год назад

    For Q3, if the word starts with 1. Will the z became 0^p?