Lecture 11/65: Pumping Lemma (For Regular Languages)

Поділитися
Вставка
  • Опубліковано 16 січ 2025

КОМЕНТАРІ • 48

  • @WenGao-ys9rw
    @WenGao-ys9rw 12 днів тому

    Your explanation of the pumping lemma is so clear! I've seen several videos, but they just showed the lemma and the contradiction proof without explaining why it works. So I have been pretty confused while using it. Thank your for your video! It's pretty useful!

  • @one-root
    @one-root 4 роки тому +3

    Professor, you have been an immense help this semester! Thank you kindly for your clear and concise explanations! Wishing you the best in all of your future endeavors.

  • @alashacademy
    @alashacademy 5 років тому +2

    Thank you so much, dear Professor! God bless you!

  • @parthpatel6767
    @parthpatel6767 2 роки тому +2

    Just wanted to let you know that you saved me this semester !! Thank you for the videos

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

    A.I student from Utrecht University thanking u ! I'm going to recommend you to my teachers as an example.

  • @dimitrisdimitriou6969
    @dimitrisdimitriou6969 7 років тому +3

    Perfect explanation of the pumping lemma. Thanks a lot!

  • @erfanahmadi2719
    @erfanahmadi2719 6 років тому +6

    would love to see your tutorials on compiler theory,

  • @JurgenGeitner
    @JurgenGeitner 7 років тому

    Thank you for the video - I had never seen Pumping Lemma explained this way before and now I understand

  • @simran1320
    @simran1320 7 років тому +42

    there's a channel who has stolen your video

  • @sauravdeb8236
    @sauravdeb8236 4 роки тому

    Thank you, Harry.

  • @3o9baa
    @3o9baa 8 років тому +4

    thank you for the video, i really understood how use the lemma !!

  • @burburchacha
    @burburchacha 4 роки тому

    This video is so good! I was struggling with this. It was only after watching this that I finally got it!

  • @fionnmcconville2560
    @fionnmcconville2560 7 років тому +4

    You're a wizard Harry! (harry porter, harry potter)

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

    thank you ...perfect teaching ..saved my time and it was really goooood

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

    This is very well explained. Thank you.

  • @shashikalaraju5769
    @shashikalaraju5769 4 роки тому +1

    8:58 Why.. why!!?
    I'm so grateful for these videos..Thank you very much.:)

  • @radu-andreicoanda4260
    @radu-andreicoanda4260 9 років тому +3

    Thank you a lot. The explanation is awesome, and I was finally able to understand how to work with Lemma. Though some difficulties I still have, for example the beginning exercise.
    Could anyone please explain why a the language comprised of words with equal number of 10's and 01's is regular?
    Thank you in advanced.

    • @momedalhouma14
      @momedalhouma14 9 років тому

      +Radu - Andrei Coandă because we can get FSA for that language, you can try in a paper to get one hwo recognise this language

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

      Hello from 7 years in the future. It has to do with how the only possible symbols we have are 0's and 1's. When you get a 01, the moment you get another 0 you'll also have a 10. In other words, a 010 contains both 01 and 10, so the only thing you have to do in your automat is wait until the correct letter comes and if it does, the number of 01 and 10's will be evened out. At least that's my interpretation.

  • @raghaveragon
    @raghaveragon 6 років тому

    This is a very helpful course. Thanks for your help professor!

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

    Thank you so much. Great explanation!

  • @rj-nj3uk
    @rj-nj3uk 5 років тому

    Hello. Do you have a video on Myhill Nerode's theroem?

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

    Can we use pumping lema to prove regularity?

  • @sahin8780
    @sahin8780 4 роки тому

    A language with string length is 3 cannot be regular in that situtation, I cant get it

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

    Thanks so much!

  • @squirrelbrains2197
    @squirrelbrains2197 7 років тому

    The part about "y" being interpreted as different parts of the string was a little bit confusing, because the cases 1, 2 and 3 did not seem to match.

  • @tapiwazvidzwa507
    @tapiwazvidzwa507 6 років тому

    I liked this explanation. So helpful

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

    It would seem that this professor is actually interested in making himself understood, and stands out for that reason alone.

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

    amazing

  • @neesmusuns
    @neesmusuns 5 років тому

    Thank you, this is very useful

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

    Can someone please help me to find pumping length of 0*1+0+1*+10*1

  • @yunhanli8159
    @yunhanli8159 9 років тому

    Thank you for the video. I have a question about your example which is to prove {0n1n} is not regular. You showed three cases that y might only consist of "1", or "0", or both "0" and "1". But according to the pumping lemma, the length of |xy|

    • @codingwithmat
      @codingwithmat 9 років тому +1

      +Yunhan Li I think he was just demonstrating that, if you were to ignore the third rule, then it still wouldn't work because the repeated y part would make the string unrecognisable by the machine. Of course, in an actual exam problem you wouldn't be able to split the string in such way because |xy|

    • @codingwithmat
      @codingwithmat 9 років тому +1

      +Matheus Gomes I recommend reading chapter 1.4 of "Introduction to Theory of Computation" by Sipser. There you can see many examples on how to use the pumping lemma for regular languages :)

  • @khrotan
    @khrotan 9 років тому

    Thank you.

  • @qwertyuiop-ke7fs
    @qwertyuiop-ke7fs 8 років тому

    I cannot create a FSM which recognizes only strings with an equal number of 01s and 10s, without some sort of counting. Did anybody figure it out?

    • @regexp8525
      @regexp8525 8 років тому +1

      I think he used poor notation to describe this language, but since 01 and 10 configure a palindrome, they will belong to the Y part of your string, meaning that you can build a FSM with n states where Y loops through 1's AND Y's inbound state is 0 AND Y's outbound state is also 0. Ex.: (0)->(1*)->(0), outputs 011110. n(01) = n(10). I think this is it. Someone correct if I'm wrong.

    • @NOLA_ftw
      @NOLA_ftw 8 років тому +3

      Yeah I think that intuitively, any string that begins with 0 and ends with 0 will have an equal number of "01"s and "10"s. And the same is true for any string beginning with 1 and ending with 1. Making a FSM with those constraints is easier to think about.

    • @fLAsHyPTX
      @fLAsHyPTX 4 роки тому

      Maybe this expression: (01)*0 can describe it? If you take for example 010 there's one occurence of 01 and one 10 or if you take 01010 there're two occurencies of both and so on. Even if (01)* returns empty string you end up with just 0 which means you have 0 occurences of both 01 and 10. I don't know if this way of thinking about this is correct though, but that's how I understand it. Another expression like (10)*1 can also work

    • @fLAsHyPTX
      @fLAsHyPTX 4 роки тому

      Actually, now that I think about it, the better expression would be: ((01)*0) + ((10)*1) + (0*) + (1*)

    • @alvin3832
      @alvin3832 4 роки тому

      Um... what is wrong with (0110)*?

  • @jacksnow1381
    @jacksnow1381 6 років тому

    thanks it was great

  • @hotncold1013
    @hotncold1013 7 років тому +5

    Someone reposted your video here: ua-cam.com/video/g4e2RElzCSQ/v-deo.html and received a lot more views off of it.

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

      But video by *hhp3* was uploaded in *2015.* The link you have mentioned has uploaded video in *2014.*
      It's difficult to *differentiate* between *original* and *repost.*

  • @disinlungkamei2869
    @disinlungkamei2869 7 років тому

    thank u alot

  • @ahmadhaitham6177
    @ahmadhaitham6177 8 років тому

    Thank you
    But I think that we can Generate String with length < n and it contains a cycle(like self loops if we take it only two times and n sufficiently large then it will contains cycle), But we know for sure that
    |s| >= n iff it must be contains cycle

  • @MSYZADEH179
    @MSYZADEH179 7 років тому +3

    Thanks a million. The explanation was very clear, Now I understood