Тёмный

Decidability and Undecidability 

Neso Academy
Подписаться 2,6 млн
Просмотров 478 тыс.
50% 1

TOC: Decidability and Undecidability
Topics discussed:
1) Recursive Languages
2) Recursively Enumerable Languages
3) Decidable Languages
4) Partially Decidable Languages
5) Undecidable Languages
Contribute: www.nesoacademy.org/donate
Website ► www.nesoacademy.org/
Forum ► forum.nesoacademy.org/
Facebook ► goo.gl/Nt0PmB
Twitter ► / nesoacademy
Pinterest ► / nesoacademy
Music:
Axol x Alex Skrindo - You [NCS Release]

Опубликовано:

 

10 июл 2024

Поделиться:

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 86   
@thomasdemunck4326
@thomasdemunck4326 3 года назад
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 года назад
Greater explanation right here
@c.danielpremkumar8495
@c.danielpremkumar8495 6 лет назад
As always - an excellent lecture.
@kevinliu4569
@kevinliu4569 Год назад
You explain this better than my university's lectures thanks so much
@Joginder1996
@Joginder1996 5 лет назад
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. 11 месяцев назад
Thara bhai jogindar ab pass hoga😂 let me try your tactics 😊❤
@skyblue7014
@skyblue7014 5 лет назад
X2.0. for all TM topics.
@sadhanasrinivasan200
@sadhanasrinivasan200 4 года назад
Go to 7:10 to understand the entire video quickly
@acevalgaming
@acevalgaming 4 года назад
lol thanks
@_avinat
@_avinat 4 года назад
Nice
@mahakkaur3682
@mahakkaur3682 Год назад
you just saved this topic of mine !! i was about to leave this for my tomorrow's exam :)
@narendraparmar1631
@narendraparmar1631 4 года назад
Thanks Neso Academy
@Studentofrozgarwithankit
@Studentofrozgarwithankit 2 года назад
Thank u very much sir , excellent lecture..
@Devanshukoli
@Devanshukoli 2 года назад
Thank you for teaching...
@darpanmalhotra903
@darpanmalhotra903 Год назад
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 ".
@equalizer1007
@equalizer1007 Год назад
true
@user-rg9fx7od9h
@user-rg9fx7od9h 11 месяцев назад
Thank you for this video
@anjamisimovic9214
@anjamisimovic9214 3 года назад
OH GOOOOD. THANK YOU!
@Hotel-20
@Hotel-20 Год назад
thanks for helping me get this CS degree bro.
@ankushsingh0
@ankushsingh0 6 лет назад
Thank you so much.
@woldemariamgashaw9733
@woldemariamgashaw9733 3 года назад
very good note thank you
@pratyushthakur6427
@pratyushthakur6427 6 лет назад
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
@ComedyCartoon101
@ComedyCartoon101 Год назад
Thanku for this wonderful video
@keveinkevin4422
@keveinkevin4422 5 лет назад
Can a r recursively enumarable language also accidentally accept a word that is not in the language?
@tathagatasharma
@tathagatasharma 5 лет назад
can i say undecidable languages as non recursive language ???
@dhruvsharma5786
@dhruvsharma5786 Месяц назад
Dhanyawad sirji❤❤
@mirlsgrabbaszad594
@mirlsgrabbaszad594 6 месяцев назад
Perfect thank you Sir
@balaomkarsurampalli6629
@balaomkarsurampalli6629 Год назад
loved it sir
@daichi6030
@daichi6030 6 лет назад
Thank u sir this vedio helped me a lot ...
@hisztory3716
@hisztory3716 Год назад
Bht bht shukriya aap ka 😀
@hotaru6765
@hotaru6765 6 лет назад
thank youuuu
@ethioaazazhmitiku3385
@ethioaazazhmitiku3385 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
@noorhassanwazir8133
@noorhassanwazir8133 3 года назад
Sir superb teaching ...sir I want to get ur all videos.
@saurabhkumar-ch2xs
@saurabhkumar-ch2xs 6 лет назад
thank you sir
@evaanahmed9289
@evaanahmed9289 Год назад
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.
@okaudi
@okaudi 2 года назад
Does the partially decidable is the same meaning of the semi-decidable?
@dhanushsivajaya1356
@dhanushsivajaya1356 3 года назад
Thankyou sir
@mishellmariyajoseph4512
@mishellmariyajoseph4512 3 года назад
A language is undecidable if it is not decidable 😅😅
@abuzarmahmood96
@abuzarmahmood96 3 года назад
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.
@yizhegan7582
@yizhegan7582 Год назад
why cant my uni lecture be as succinct and clear cut as this guy?
@nahomsintayehu3139
@nahomsintayehu3139 2 года назад
Thankyou
@Derively
@Derively 5 лет назад
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 4 года назад
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 года назад
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.
@kk_tech8856
@kk_tech8856 5 лет назад
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...
@endeavourtheno.1783
@endeavourtheno.1783 2 года назад
where can i find the problems of the above topic?
@jonc792
@jonc792 5 лет назад
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.
@globaltechmastery2393
@globaltechmastery2393 4 года назад
also when the undecidable language happens to be partially decidable, then there is definately a Turing Machine for it, isn't it so?
@robinstark1451
@robinstark1451 6 лет назад
saved my life:)
@aselebeyene5869
@aselebeyene5869 2 года назад
exellent
@noorhassanwazir8133
@noorhassanwazir8133 3 года назад
Sir I did find recognizable and unrecognizable languess in ur lectures?
@ashutoshagrawal405
@ashutoshagrawal405 4 года назад
4:56😂
@sarthaksharma4816
@sarthaksharma4816 4 года назад
😂 😂 😂 😂
@berakoc8556
@berakoc8556 3 года назад
Every 60 seconds in Africa a minute passes.
@Patrick-hb9dbj
@Patrick-hb9dbj Год назад
Very important point dude👍
@Patrick-hb9dbj
@Patrick-hb9dbj Год назад
😂🙃
@tallle2
@tallle2 5 лет назад
Could this not be explained with like...several examples...strugling to find examples
@palashrathore6277
@palashrathore6277 3 года назад
yeah, he just read the theory!
@Ankit-we8ym
@Ankit-we8ym 6 лет назад
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 лет назад
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 года назад
​@@arpitshukla8970 also when the undecidable language happens to be partially decidable, then there is definately a Turing Machine for it, isn't it so?
@rakshanagarwal7657
@rakshanagarwal7657 6 лет назад
the best ones but at X 1.50 speed ... below that its too hectic to handle
@hmsingh2321
@hmsingh2321 5 лет назад
Rakshan Agarwal 3.5x
@tanujkumar7861
@tanujkumar7861 5 лет назад
Adha thapar yaha milega😀
@mariyambushra2116
@mariyambushra2116 Год назад
You are repeating the same thing thrice 😊but i understood bcs you repeatedly said the same thing
@adsgfsgd
@adsgfsgd 5 лет назад
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 5 лет назад
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 года назад
Any vitians?
@kamiomnik2388
@kamiomnik2388 6 лет назад
You get a cookie
@vishalchoudhary9037
@vishalchoudhary9037 3 года назад
sir raat ko kithe hrs sleep lete ho??
@albinsopaj
@albinsopaj 4 года назад
Partially Decidable languages are also known as Semi-Decidable languages, right?
@palashrathore6277
@palashrathore6277 3 года назад
The whole video in a nutshell:- "Every 60 seconds in Africa a minute passes"
@nostalgean
@nostalgean 3 года назад
This theory has recently been debunked and the scientists are now claiming that it's actually every alternate 30 second
@offensive-brat
@offensive-brat Год назад
@@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.
@quantumsoul3495
@quantumsoul3495 5 месяцев назад
needs a Venn diagram
@GATEVeteran
@GATEVeteran 6 лет назад
Watch at 1.25 speed. Thank me later.
@hashikdonthineni2863
@hashikdonthineni2863 6 лет назад
I think 2x is far better.
@GATEVeteran
@GATEVeteran 6 лет назад
Hashik Donthineni take my like.
@user-em9mw9ch3y
@user-em9mw9ch3y 5 лет назад
click on the X button on your browser. Thank me later.
@bonbonpony
@bonbonpony 5 лет назад
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 Месяц назад
5x😅
@OBSERVERfringe
@OBSERVERfringe 5 лет назад
Or ip waalo jinka kal paper hai thoko like.