Nonregular languages: How to use the Pumping Lemma

Поділитися
Вставка
  • Опубліковано 24 лип 2024
  • We know that all regular languages must satisfy the pumping lemma. This means we can use the pumping lemma to prove that a language is NOT regular by showing that it does NOT satisfy the pumping lemma.
    This video provides a little more intuition for how such a proof works.
    If you aren't yet familiar with what exactly the pumping lemma is, check this video out first: • What is the Pumping Lemma
    ____________________
    Additional resources:
    Michael Sipser. 2006. Introduction to the Theory of Computation (2nd. ed.). International Thomson Publishing.
    - The main source of my Theory of Computation knowledge (a textbook). Read Chapter 1.4: Nonregular Languages to learn more about the pumping lemma and examples of the formal proofs.
    _____________________
    And as always, this video project could not have been done without the support and guidance of Audrey St. John at Mount Holyoke College, a truly incredible professor-mentor-human.

КОМЕНТАРІ • 87

  • @rsia08
    @rsia08 3 роки тому +128

    5-minute concise explanations are so much better than lectures that are over an hour long. Much easier to remember :)

  • @rtasvadum1810
    @rtasvadum1810 3 роки тому +252

    Again, this is higher quality than a majority of the classes I have taken so far. Thank you so much.

  • @LL43216
    @LL43216 2 роки тому +39

    Literally summed up like 2 hours of my lecture in 5 minutes thank you so much

  • @csgo-gamer8765
    @csgo-gamer8765 Рік тому +11

    This channel is criminally underrated! I cant emphasize how much this comic style awesome, adorable and clean is in its explanations. Thank you very much and keep up the good work!

  • @VahiMangai
    @VahiMangai 3 роки тому +18

    This is exactly what I needed before my teacher had us retake the test.

  • @HasanZobaer
    @HasanZobaer 2 роки тому +7

    Yet another top quality video! From animation to explanation and the funny art style to the soothing voice its all just prefect! This channel is so underrated :'(

  • @michaelshevelin2234
    @michaelshevelin2234 2 роки тому +1

    Lydia! You're the best! Thank you so much for your work! I would happy to see videos of yours about some problems like determining if the language is finite/ empty etc.
    Thanks again!

  • @BenBurgersJr
    @BenBurgersJr Рік тому +4

    Thank you so much for this clear explanation and accompanying animation! Very clear and concise.

  • @sungwoooh4919
    @sungwoooh4919 3 роки тому +6

    Thank you!! your voice is beautiful and easy to understand :)

  • @mr.froschi6526
    @mr.froschi6526 Рік тому +1

    Thank you very much. I really liked the video. Honestly a kinda underaprecciated channel now that i look at the subs and views. You deserve more. Keep it up.

  • @simplystephanie595
    @simplystephanie595 Рік тому +6

    Your videos explain content better than my whole semester of class. Thank you.

  • @l.w915
    @l.w915 2 роки тому

    very clear, love the pictures and the flow. thank you.

  • @slabbert
    @slabbert 2 роки тому

    Thanks so much!
    Truly helped more than any other sources I've encountered.

  • @harleykf1
    @harleykf1 3 роки тому +5

    Thank you! Your videos are exceptional :)

  • @lumiere2598
    @lumiere2598 3 роки тому +1

    I am really in love with your videos, please make more! (I'm spreading the words :D )

  • @zodiackwolf
    @zodiackwolf 2 роки тому +1

    Fantastic video, thank you so much! Really made it much easier to understand proving non-regularity and my understanding of the pumping lemma too :)

  • @afonsosantos1416
    @afonsosantos1416 5 місяців тому

    You're litteraly saving me on Computing Theory

  • @hassanjaber8169
    @hassanjaber8169 3 роки тому +4

    DUDE YOU ARE A GODDESS, THANK YOU

  • @chehakmalhotra860
    @chehakmalhotra860 Рік тому

    Beautiful playlist. Loved it

  • @soccerfan2969
    @soccerfan2969 3 роки тому +11

    This saved me. Thank you so much. Sharing with the rest of my class right now.

    • @RagingAcid
      @RagingAcid 2 роки тому +8

      This guy doesn't understand how to get a cheeky curve

    • @heyjoeway
      @heyjoeway Рік тому +1

      @@RagingAcid lmao that's fuckin evil

  • @marsdelver8349
    @marsdelver8349 3 роки тому

    These videos are so helpful, thank you!

  • @giggityyy...
    @giggityyy... 2 роки тому

    I have been on UA-cam since as log as I can remember,I can say this is TOP-NOTCH content 🔥.

  • @tahamian4822
    @tahamian4822 2 місяці тому

    I love your video! Please keep it up!

  • @anastasiiabukhanova1877
    @anastasiiabukhanova1877 6 місяців тому

    This is worth a lot! Thank you!

  • @oreoshake5951
    @oreoshake5951 3 роки тому

    Thank you so much. This was very helpful and I was also confused in this part but now this is very clear.

  • @cheeesysandwich
    @cheeesysandwich Рік тому

    Thank you so much; this was amazing! Just gave you your 1,000th like

  • @marcos-vx3qj
    @marcos-vx3qj Рік тому +2

    This video is excellent, it simply explains this confusing topic

  • @Josh-tu9ji
    @Josh-tu9ji 2 роки тому

    These animations are soooo good. Please make a whole series on Automata! TYSM

  • @iskerop
    @iskerop 3 роки тому

    best explanation ive seen, thanks!

  • @samarthtandale9121
    @samarthtandale9121 6 місяців тому

    Wow! This was a great proof indeed!

  • @top10top54
    @top10top54 3 роки тому +5

    wonderful video ...waiting for context free languages

  • @aliyyah82
    @aliyyah82 8 місяців тому

    Wonderful video!

  • @madelynn_manis
    @madelynn_manis 2 роки тому

    This was super helpful thank you so much!

  • @Antonio9648
    @Antonio9648 3 місяці тому

    Great explanation

  • @michelebissanti9055
    @michelebissanti9055 3 роки тому

    you have saved my life! thanks

  • @guywhodiedwithouthisdawg6260
    @guywhodiedwithouthisdawg6260 Рік тому +1

    notice how non-regular language is so chill bout not being a regular language bro has a positive attitude

  • @SzechSauce
    @SzechSauce 2 роки тому

    Brilliant! Thank you!

  • @sunviewer7
    @sunviewer7 2 роки тому

    Super good explanation!!!!

  • @skyehelfant
    @skyehelfant Рік тому

    Great video

  • @giovannilibrizzi
    @giovannilibrizzi 8 місяців тому

    this video may have just saved me for my midterm omg

  • @gbemisolaagboola8255
    @gbemisolaagboola8255 2 роки тому

    well, i dont need a pumping lemma to proof you are not regular, amazing! for basic understanding ofcourse

  • @suaie
    @suaie 2 роки тому

    Thank you. You are smarter than Neso Academy

  • @nicholeconroy4558
    @nicholeconroy4558 2 роки тому

    Can you please make a video about regular expressions and more on proofs please these have been very helpful

  • @aliramazani906
    @aliramazani906 3 місяці тому

    Hi Lydia, thanks for the amazing videos. I was wondering if you could also explain context free languages and how to use pumping lemma for them. Thanks 🙏

  • @sindoni_sw8792
    @sindoni_sw8792 Місяць тому

    thank u very much

  • @zudiaq8678
    @zudiaq8678 29 днів тому

    You definitely should open your own university. and then you should just sit there as a tutor and play these vids... you will be a tutor of the year for sure. :)
    thanks for the great explanations. helped me a lot in my exams.

  • @QuesterDesura
    @QuesterDesura 3 роки тому

    very well done :)

  • @JakisMaciek
    @JakisMaciek 3 роки тому +1

    Thanks! :>

  • @gavinunrue2282
    @gavinunrue2282 Рік тому

    amazing vid! The textbook or professor does not do this concept any justice lol

  • @sahilahmed5228
    @sahilahmed5228 Рік тому +1

    when u take 3 cases, in those last 2 cases, you are taking y such that |xy| is already greater than p. You basically need to chose a y such that |y| is greater than 1 and less than p and |xy| must be less than p.

  • @kUmerZaidiSyed
    @kUmerZaidiSyed 3 роки тому

    10/10 video

  • @astronautadomestico1343
    @astronautadomestico1343 2 роки тому

    Ty so much

  • @amirhosein5677y
    @amirhosein5677y 27 днів тому

    Thankssssss

  • @jixster1566
    @jixster1566 2 роки тому

    3:13 how are cases 2 and 3 possible if |xy|

  • @lifetimeknight
    @lifetimeknight 2 роки тому

    better than automata course that i take in the college.

  • @minhbeo0909
    @minhbeo0909 2 роки тому

    Please increase the video audio quality next time. It's hard to hear through the speaker. Otherwise, the video is very helpful thank you!

  • @fahidabdullah5637
    @fahidabdullah5637 Рік тому

    Hi I had a question regarding the 3 cases for the pumping lemma. If we could prove one of the cases was true for the y value chosen, and it met all the three conditions for pumping lemma, then that would show the language is regular then, correct?

  • @aster4405
    @aster4405 2 місяці тому

    how to determine what length p to use?

  • @adlai1
    @adlai1 2 роки тому

    I hate that this video is 2 years old. Please make more videos!

  • @dhruv_jain99
    @dhruv_jain99 3 роки тому +5

    In regular language we can make state diagram, so we know,
    number of states=p
    but in non-regular language we cannot make state diagram for language.
    then how we are going to find p for non-regular language?

    • @i3aluchi
      @i3aluchi 3 роки тому

      To my humble knowledge, we don't necessarily choose P as the number of states as it is dependant on the language and not the machine.

  • @shyngysbek6907
    @shyngysbek6907 2 місяці тому

    How do you define p? I know it is a pumping length but how you define it when you don't know which length is a pumping string?

  • @makenuo9041
    @makenuo9041 2 роки тому +1

    Sorry, I was so distracted by the beautiful sound of your voice - couldn't focus on what you were saying at first :-) But seriously, a great video, very intuitive and with nice metaphors like the "all-knowing Pumping Lemma" on its throne. Thanks for this!

  • @harshit1206
    @harshit1206 2 роки тому

    Loved this!

  • @mangilalkaler3497
    @mangilalkaler3497 2 роки тому

    At 4:30, I assume you wanted to say : Assume the language is regular. Then given P, we find a string that can't, in fact, be pumped and still be in the language. This proves the language is non-regular, which contradicts our initial assumption.

  • @crawbug8932
    @crawbug8932 2 роки тому

    1:07 What about finite regular languages? They don't satisfy the pumping lemma but are still considered regular.

  • @drublacky1846
    @drublacky1846 Рік тому

    😍

  • @jasonzheng5839
    @jasonzheng5839 10 місяців тому

    amazing. what am I paying my professor for

  • @carpedm9846
    @carpedm9846 2 роки тому

    Couldnt you have chosen a pair of 01, and thus keep the sequence?
    010[10]1->010[10101010]1

    • @iliasvrynas9189
      @iliasvrynas9189 2 роки тому

      Yes but I think you need to find at least one sequence that is not part of the language

    • @cirosilvano6950
      @cirosilvano6950 Рік тому

      The language you’re talking about is different though. She was proving that the language consisting of an uninterrupted sequence of n 0s followed by an uninterrupted sequences of n 1s is irregular.
      Strings in such format correspond to stuff like 000111, 01, 00000001111111 and so on, while 01010101, for example, doesn’t belong to such language.

  • @blowingupcasinos
    @blowingupcasinos 3 роки тому

    This rules

  • @Shyzah
    @Shyzah 2 роки тому +1

    pushing p

  • @BehniaFB
    @BehniaFB 3 роки тому +3

    But the volume was too low...