Pumping Lemma for Regular Languages TWENTY Examples and Proof Strategies!

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

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

  • @EasyMoneyLuu
    @EasyMoneyLuu 2 года назад +58

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

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

    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 года назад +123

    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!

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

    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 Год назад +5

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

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

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

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

    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?

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

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

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

    You are incredible!

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

    Your channel saved my class. Tysm

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

    Ser you are a theory god

  • @toddblackmon
    @toddblackmon 2 месяца назад

    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.

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

    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

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

    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!

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

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

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

      Lucky timing ;) hope it helps!

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

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

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

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

  • @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.

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

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

  • @김지은-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....

  • @SleepyLellek
    @SleepyLellek 11 месяцев назад +2

    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 🙏

  • @mariajosepav
    @mariajosepav 11 месяцев назад +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 11 месяцев назад

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

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

    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.

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

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

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

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

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

    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

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

    I love u dude.

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

    This is soooo goooood

  • @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 Год назад

      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)

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

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

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

    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.

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

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

  • @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?

  • @cmptlylost
    @cmptlylost 11 месяцев назад +1

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

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

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

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

    goat

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

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

  • @rildofranco2863
    @rildofranco2863 3 месяца назад

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

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

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

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

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

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

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

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

    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.

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

    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.

  • @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

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

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

  • @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

  • @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'

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

    Gaddamn I can't believe how easy this is. I've been struggling with this crap for days and I know it's not me, it's how pathetic the instruction of the material is. Sipser's book Theory of Computation is trash, he's trash as an instructor since he can't teach the material so that students can understand it. I finally understand looking at this video.

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

    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 ;)

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

    i feel ready for my toc paper

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

    Thank you very much.

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

    Incredible explanation. Thank you so much for this video

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

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

  • @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.

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

    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...

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

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

  • @aaaaaaaa-xg4je
    @aaaaaaaa-xg4je 10 месяцев назад

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

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

    good vid

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

    Thanks from Portugal , very helpful indeed ❤

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

    This dude definitely calls Gifs as Jifs.
    Great video though

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

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

  • @reese322
    @reese322 2 года назад +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.

  • @andrespolo.2013
    @andrespolo.2013 2 года назад

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

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

    Best video on the Pumping Lemma subject. Awesome ❤

  • @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?

  • @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 8 месяцев назад

    better than my prof could ever explain. TY

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

    You're a god

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

    boss

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

    Awesome :)

  • @Ivan-ou5nq
    @Ivan-ou5nq 10 месяцев назад

    Thank you

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

    well done

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

    How do you judge which string you should use for pumping

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

    This video changed my life. Thanks Mr. Easy Theory

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

    Great explanation that was tooo helpful. Many thanks

  • @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 5 месяцев назад

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

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

    i love you

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

    gg

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

    what a great, easy to follow video! well done

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

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

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

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

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

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

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

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

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

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

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

    Doing the lord's work!

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

    You earned one more subscriber

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

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

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

    You are amazing. Thank you

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

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

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

    You are really good. Thank you so much.

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

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

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

    I love you you really saved me 😭

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

    you are literally so so good

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

    wahch

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

    really helpful, thanks

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

    dude you're amazing

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

    1:08:27 Litttttt

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

    wow, instant subscribe

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

    this helps a lot thank you so much!!

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

    Pumping lemma galore

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

    Thanks!!

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

    WOWWW