Decidability and Undecidability

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

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

  • @thomasdemunck4326
    @thomasdemunck4326 4 года назад +121

    I would add some nuances to the last line of the table that can be misleading. There can be a TM for an undecidable language since an undecidable language can be partially decidable (in other words, recognizable).
    An undecidable language can have a TM if then, there is no TM for the complement language.
    To sum up, I would replace the last line by "No TM for that language OR for its complement".
    In other words, if there is no TM, then it is always undecidable. But if there is a TM, it can still be undecidable.
    I think it is important to mention this difference if you really want to master the relationship between decidable, partially decidable and undecidable.

    • @davortex9559
      @davortex9559 2 года назад +6

      Greater explanation right here

    • @Ikra-yj9zf
      @Ikra-yj9zf 6 месяцев назад

      Thank u buddy

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

      🙏 thanks

  • @darpanmalhotra903
    @darpanmalhotra903 2 года назад +14

    At 05:03 "An Undecidable Language may sometimes be partially decidable". That means sometimes undecidable languages may also have a TM. (Because as mentioned there, partially decidable languages are Recursively Enumerable and there exist TM for RE languages)
    I think, it should be like "If a language is not even partially decidable only then it is undecidable ".

  • @Joginder1996
    @Joginder1996 6 лет назад +28

    very very very thank you sir..
    i am vry poor in this subject but after watching your videos i gain knowledge and i have attempt my exam completely. and 2 example in my exam are same as in your vdo. thank you again.
    all credit for getting good marks goes to only you..

    • @mr_Danish.
      @mr_Danish. Год назад +2

      Thara bhai jogindar ab pass hoga😂 let me try your tactics 😊❤

  • @sadhanasrinivasan200
    @sadhanasrinivasan200 5 лет назад +36

    Go to 7:10 to understand the entire video quickly

  • @c.danielpremkumar8495
    @c.danielpremkumar8495 7 лет назад +22

    As always - an excellent lecture.

  • @kevinliu4569
    @kevinliu4569 2 года назад +5

    You explain this better than my university's lectures thanks so much

  • @skyblue7014
    @skyblue7014 6 лет назад +65

    X2.0. for all TM topics.

  • @pratyushthakur6427
    @pratyushthakur6427 6 лет назад +18

    undecidable language also has the partially decidable language in it so for that part turing machine is available

    • @atharva-naik
      @atharva-naik 4 года назад

      It should be recursively enumerable and not recursive union non recursively enumerable, which is just a mouthful for complement of recursive set I think

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

    you just saved this topic of mine !! i was about to leave this for my tomorrow's exam :)

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

    The portion on undecibility is very unclear. I've showed it to some others and for beginners to Turing Machines, the part where he introduces the definitions imply that undecidable languages include recursively enumerable languages. But the chart at the end contradicts this.

  • @NikitaNair
    @NikitaNair Месяц назад +1

    Wowwwww amazing!!!

  • @Hotel-20
    @Hotel-20 Год назад +1

    thanks for helping me get this CS degree bro.

  • @yizhegan7582
    @yizhegan7582 2 года назад +4

    why cant my uni lecture be as succinct and clear cut as this guy?

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

    Dhanyawad sirji❤❤

  • @narendraparmar1631
    @narendraparmar1631 5 лет назад +3

    Thanks Neso Academy

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

    Bht bht shukriya aap ka 😀

  • @palashrathore6277
    @palashrathore6277 4 года назад +107

    The whole video in a nutshell:- "Every 60 seconds in Africa a minute passes"

    • @nostalgean
      @nostalgean 4 года назад +21

      This theory has recently been debunked and the scientists are now claiming that it's actually every alternate 30 second

    • @offensivebrat
      @offensivebrat 2 года назад +15

      @@nostalgean acutally, recently an Indian guy on Neso Academy revealed that its every 4th 15 seconds that makes up a minute. You should be proud.

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

    A language is partially decidable if it is RE but not REC so partially decidable and recursively enumerable are not exactly same but it is a subset of RE.

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

    very good note thank you

  • @shashikamadhushani-c5s
    @shashikamadhushani-c5s Год назад

    Thank you for this video

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

    Thank u very much sir , excellent lecture..

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

    what is the relation between decidable/undecidable with recursive/(recursive enumerable) languages? are decidable language an alias of recursive language(aka conceptually equal to each other)? Maybe a Van diagram will make the whole picture more clear. Thanks for the great lectures

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

    Thank you for teaching...

  • @noorhassanwazir8133
    @noorhassanwazir8133 4 года назад +1

    Sir superb teaching ...sir I want to get ur all videos.

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

    OH GOOOOD. THANK YOU!

  • @mishellmariyajoseph4512
    @mishellmariyajoseph4512 3 года назад +10

    A language is undecidable if it is not decidable 😅😅

    • @gouri19
      @gouri19 Месяц назад

      😂😂

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

    Did you get pay raise? Microphone quality sounds much better now? How much was the raise BTW

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

    Perfect thank you Sir

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

    Thanku for this wonderful video

  • @daichi6030
    @daichi6030 6 лет назад +2

    Thank u sir this vedio helped me a lot ...

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

    loved it sir

  • @dhanushsivajaya1356
    @dhanushsivajaya1356 4 года назад +1

    Thankyou sir

  • @ankushsingh0
    @ankushsingh0 6 лет назад +2

    Thank you so much.

  • @jonc792
    @jonc792 6 лет назад +2

    what is the relation between decidable/undecidable with recursive/(recursive enumerable) languages? are decidable language an alias of recursive language(aka conceptually equal to each other)? Maybe a Van diagram will make the whole picture more clear. Thanks for the great lectures!

    • @sharma1337
      @sharma1337 5 лет назад

      Yes it's just more of a mathematical way of saying it.

  • @ashutoshagrawal405
    @ashutoshagrawal405 5 лет назад +20

    4:56😂

  • @kk_tech8856
    @kk_tech8856 5 лет назад +3

    pahle mai sochta tha ki bhagvaan hai ki nahi ,
    jo mujhe automata mai just pass kara de....
    aur agle din mujhe neso academy youtube channel mila...

  • @Derively
    @Derively 6 лет назад +2

    There is a small problem I think.
    First you say that ALL strings in a recursive language will be accepted in a TM.
    Then you only say that the recursive language strings will halt the TM (both accept and reject).
    Which is the correct?

    • @lucassanches6687
      @lucassanches6687 5 лет назад +2

      If the string belongs to an recursive language, then the string will halt and accept. If don't belongs to an recursive language, the the string will halt and reject.

    • @abkonmalonma1028
      @abkonmalonma1028 4 года назад +1

      Derively what he meant when he said accepted in a recursive language is it means the programme does not go into a loop it always ends up halting and deciding wehter it accepts or rejects.

  • @wlqpqpqlqmwnhssisjw6055
    @wlqpqpqlqmwnhssisjw6055 24 дня назад

    thanks

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

    Thankyou

  • @rakshanagarwal7657
    @rakshanagarwal7657 6 лет назад +12

    the best ones but at X 1.50 speed ... below that its too hectic to handle

  • @saurabhkumar-ch2xs
    @saurabhkumar-ch2xs 7 лет назад +1

    thank you sir

  • @keveinkevin4422
    @keveinkevin4422 6 лет назад +1

    Can a r recursively enumarable language also accidentally accept a word that is not in the language?

  • @globaltechmastery2393
    @globaltechmastery2393 4 года назад +3

    also when the undecidable language happens to be partially decidable, then there is definately a Turing Machine for it, isn't it so?

  • @tallle2
    @tallle2 5 лет назад +4

    Could this not be explained with like...several examples...strugling to find examples

  • @adsgfsgd
    @adsgfsgd 6 лет назад +2

    I'm confused about how undecidable language may sometimes be partially decidable. If it's partially decidable, isn't it a partially decidable language?

    • @AlxM96
      @AlxM96 6 лет назад

      David Kim , a partially decidable language is a language for which the Turing Machine will halt sometimes and may not halt some other times. If the language acts so that the TM to never halts, then the partially decidable language acts as an undecidable language. It could make the TM halt, but it never does. So it is by definition undecidable.

  • @soul9126
    @soul9126 3 года назад +4

    Any vitians?

  • @tathagatasharma
    @tathagatasharma 5 лет назад +2

    can i say undecidable languages as non recursive language ???

  • @endeavourtheno.1783
    @endeavourtheno.1783 2 года назад

    where can i find the problems of the above topic?

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

    Does the partially decidable is the same meaning of the semi-decidable?

  • @noorhassanwazir8133
    @noorhassanwazir8133 4 года назад

    Sir I did find recognizable and unrecognizable languess in ur lectures?

  • @vishalchoudhary9037
    @vishalchoudhary9037 4 года назад

    sir raat ko kithe hrs sleep lete ho??

  • @hotaru6765
    @hotaru6765 6 лет назад +1

    thank youuuu

  • @Ankit-we8ym
    @Ankit-we8ym 7 лет назад +1

    sir but for undecidable there may be turing machine ??TTM does not exist for undecidable

    • @ChristianBurnsShafer
      @ChristianBurnsShafer 6 лет назад

      An undecidable language does not correspond to any TM. He says this in the video.

    • @arpitshukla8970
      @arpitshukla8970 6 лет назад +1

      He said undecidable languages are those which are not decidable. They can be partially decidable. See the second point of undecidable language at 5:09. Not having TM means that there is no TM which can accept it. If we feed undecidable language to some TM it will just loop.

    • @globaltechmastery2393
      @globaltechmastery2393 4 года назад +1

      ​@@arpitshukla8970 also when the undecidable language happens to be partially decidable, then there is definately a Turing Machine for it, isn't it so?

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

    You are repeating the same thing thrice 😊but i understood bcs you repeatedly said the same thing

  • @albinsopaj
    @albinsopaj 4 года назад +1

    Partially Decidable languages are also known as Semi-Decidable languages, right?

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

    exellent

  • @tanujkumar5
    @tanujkumar5 6 лет назад +1

    Adha thapar yaha milega😀

  • @GATEVeteran
    @GATEVeteran 6 лет назад +32

    Watch at 1.25 speed. Thank me later.

    • @hashikdonthineni2863
      @hashikdonthineni2863 6 лет назад +19

      I think 2x is far better.

    • @GATEVeteran
      @GATEVeteran 6 лет назад +1

      Hashik Donthineni take my like.

    • @user-em9mw9ch3y
      @user-em9mw9ch3y 6 лет назад +3

      click on the X button on your browser. Thank me later.

    • @bonbonpony
      @bonbonpony 6 лет назад +1

      I watch it at 2x speed and it is still soooooo booooring and repetititititive ;o
      This entire video could be replaced with a single picture. I can read myself.

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

      5x😅

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

    needs a Venn diagram

  • @kamiomnik2388
    @kamiomnik2388 6 лет назад +1

    You get a cookie

  • @OBSERVERfringe
    @OBSERVERfringe 6 лет назад +2

    Or ip waalo jinka kal paper hai thoko like.

  • @robinstark1451
    @robinstark1451 6 лет назад

    saved my life:)