Pumping Lemma for Regular Languages TWENTY Examples and Proof Strategies!

แชร์
ฝัง
  • เผยแพร่เมื่อ 1 ก.ค. 2024
  • Here we do TWENTY examples of pumping lemma for regular language proofs. We do a whole lot of common language examples, as well as beginner all the way to advanced techniques. The timeline below will help you navigate to the proof of the language you are interested in.
    Timeline:
    0:00 - Intro
    0:37 - 1. 0^n 1^n
    12:09 - 2. Equal 0s and 1s
    18:08 - 3. More 1s than 0s
    26:40 - 4. 0^2n 1^n
    32:23 - 5. 0^n 1 0^n
    38:17 - 6. 0^n 1^m 0^(m+n), and 7. 0^n 1^m 0^(m*n)
    47:40 - 8. 0^n 1^m : n != m
    55:47 - 9. 0^n 1^m : n less than 3m
    1:02:19 - 10. Perfect Squares
    1:10:19 - 11. Powers of 2
    1:17:18 - 12. Primes
    1:26:14 - 13. 0^n 1^m : n/m is an integer
    1:35:53 - 14. Strings with equal numbers of 00s and 11s
    1:42:51 - 15. Strings of the form w # w, and 16. ww
    1:51:57 - 17. w1 # ... # wn, wi and wj are all different
    1:58:49 - 18. Non-Palindromes
    2:05:05 - 19. xy such that |x|=|y|, x != y
    2:13:22 - 20. Factorials
    If you like this content, please consider subscribing to my channel: / @easytheory
    ▶SEND ME THEORY QUESTIONS◀
    ryan.e.dougherty@icloud.com
    ▶ABOUT ME◀
    I am a professor of Computer Science, and am passionate about CS theory. I have taught many courses at several different universities, including several sections of undergraduate and graduate theory-level classes.

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

  • @kristiyandimov1166
    @kristiyandimov1166 9 วันที่ผ่านมา +1

    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!

  • @alanchang3577
    @alanchang3577 9 หลายเดือนก่อน +41

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

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

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

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

    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!

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

      Started the comment with sir and endet it with a bro XD

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

      ​@@enkhnyambattulga5123lol

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

      ​@@enkhnyambattulga5123tone police detected

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

    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  2 ปีที่แล้ว +5

      Thanks very much!

    • @alinac5512
      @alinac5512 11 หลายเดือนก่อน +5

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

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

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

  • @SleepyLellek
    @SleepyLellek 8 หลายเดือนก่อน +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 🙏

  • @danielphillips3749
    @danielphillips3749 8 หลายเดือนก่อน +1

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

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

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

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

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

    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

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

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

  • @Karim-nq1be
    @Karim-nq1be 6 วันที่ผ่านมา

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

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

    Best video on the Pumping Lemma subject. Awesome ❤

  • @ketchupkrill
    @ketchupkrill 9 หลายเดือนก่อน +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

  • @erichgruttner
    @erichgruttner 11 หลายเดือนก่อน +1

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

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

    Incredible explanation. Thank you so much for this video

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

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

  • @VenomGamingPro
    @VenomGamingPro 10 หลายเดือนก่อน

    what a great, easy to follow video! well done

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

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

  • @alicets9682
    @alicets9682 14 วันที่ผ่านมา

    You are incredible!

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

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

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

    This video changed my life. Thanks Mr. Easy Theory

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

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

  • @juliusfranzen9704
    @juliusfranzen9704 8 หลายเดือนก่อน

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

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

    Thanks from Portugal , very helpful indeed ❤

  • @AP-gu8wv
    @AP-gu8wv 2 ปีที่แล้ว

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

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

    Great explanation that was tooo helpful. Many thanks

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

    Doing the lord's work!

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

    Thank you very much.

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

    Your channel saved my class. Tysm

  • @duncanjr.5905
    @duncanjr.5905 3 หลายเดือนก่อน

    you are literally so so good

  • @FreeDomSy-nk9ue
    @FreeDomSy-nk9ue 2 ปีที่แล้ว +12

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

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

      Lucky timing ;) hope it helps!

    • @FreeDomSy-nk9ue
      @FreeDomSy-nk9ue 2 ปีที่แล้ว

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

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

    this helps a lot thank you so much!!

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

    You are really good. Thank you so much.

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

    dude you're amazing

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

    You are amazing. Thank you

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

    You're such a good teacher 🙂

  • @Rockyzach88
    @Rockyzach88 11 หลายเดือนก่อน +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.

  • @mariajosepav
    @mariajosepav 8 หลายเดือนก่อน +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 7 หลายเดือนก่อน

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

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

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

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

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

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

    really helpful, thanks

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

    better than my prof could ever explain. TY

  • @andrespolo.2013
    @andrespolo.2013 ปีที่แล้ว

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

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

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

  • @j.j.3759
    @j.j.3759 3 หลายเดือนก่อน

    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.

  • @augustopinheiro
    @augustopinheiro 4 หลายเดือนก่อน

    Awesome :)

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

    This is soooo goooood

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

    I love you you really saved me 😭

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

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

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

  • @sobkhed1716
    @sobkhed1716 25 วันที่ผ่านมา

    well done

  • @Ivan-ou5nq
    @Ivan-ou5nq 7 หลายเดือนก่อน

    Thank you

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

    Thanks!!

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

    You earned one more subscriber

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

    Ser you are a theory god

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

    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?

  • @aaaaaaaa-xg4je
    @aaaaaaaa-xg4je 7 หลายเดือนก่อน

    I usually dont comment
    but thank you so fricking much for 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.

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

    wow, instant subscribe

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

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

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

    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?

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

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

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

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

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

    good vid

  • @nsp-rc9tw
    @nsp-rc9tw 3 หลายเดือนก่อน +1

    goat

  • @duncanjr.5905
    @duncanjr.5905 3 หลายเดือนก่อน

    i feel ready for my toc paper

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

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

  • @user-fy1oy1wc1v
    @user-fy1oy1wc1v 2 ปีที่แล้ว

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

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

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

  • @therealestvideos-sf
    @therealestvideos-sf 6 หลายเดือนก่อน

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

  • @rildofranco2863
    @rildofranco2863 24 วันที่ผ่านมา

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

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

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

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

    How do you judge which string you should use for pumping

  • @prerakpanwar9853
    @prerakpanwar9853 8 หลายเดือนก่อน

    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.

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

    WOWWW

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

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

    i love you

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

    Pumping lemma galore

  • @Sergeak21
    @Sergeak21 ปีที่แล้ว +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)

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

  • @user-wl3ts5rd1i
    @user-wl3ts5rd1i ปีที่แล้ว

    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 2 หลายเดือนก่อน

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

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

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

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

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

  • @jessicazumbach1943
    @jessicazumbach1943 26 วันที่ผ่านมา

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

  • @khalilchamakhi8935
    @khalilchamakhi8935 3 หลายเดือนก่อน

    wahch

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

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

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

      This Would be nice to know

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

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

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

    please make a video about Myhill and Nerode.

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

      Your wish is my command: th-cam.com/video/zmdkr4BMqR4/w-d-xo.html

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

      @@EasyTheory Love you

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

    1:08:27 Litttttt

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

    This dude definitely calls Gifs as Jifs.
    Great video though

  • @izzeldeenalzeer4585
    @izzeldeenalzeer4585 4 หลายเดือนก่อน

    gg

  • @lergathehate
    @lergathehate 8 หลายเดือนก่อน

    boss

  • @good-tn9sr
    @good-tn9sr ปีที่แล้ว +1

    20?! 💀😭

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

    Rushed explanations

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

    Absolute gift to mankind 🤌😩