Тёмный

Rice's Theorem (Undecidability): 5 Proofs and Examples 

Easy Theory
Подписаться 26 тыс.
Просмотров 12 тыс.
50% 1

Here we show 5 different examples of applying Rice's theorem to languages show that each of these languages are undecidable.
If you like this content, please consider subscribing to my channel: / @easytheory
▶ABOUT ME◀
I am a professor of Computer Science, and am passionate about it. I have taught many courses at several different universities, including several sections of undergraduate and graduate theory-level classes.
The views expressed in this video are not reflective of any of my current or former employers.

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

 

4 авг 2022

Поделиться:

Ссылка:

Скачать:

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

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 16   
@francescoboraso6190
@francescoboraso6190 Год назад
Nobody is commenting on the thumbnail? Just brilliant, 5 rice bowls and a woman should grab everybody's attention 🤣
@vlogesh29
@vlogesh29 6 месяцев назад
Absolutely
@na50r24
@na50r24 8 месяцев назад
Maybe this is a dumb question but how does this make even sense? Non-trivial: Come up with two random turning machines (M_1, M_2), where one is inside the language of the problem and the other is not. Property of TM languages: Make some weird claim about two other random turning machines (X_1, X_2) that have seemingly zero relation to M_1 and M_2 defined prior. By Rice's theorem, problem is undeciable. I could still follow with the non-trivial part, since M_1 and M_2 two had some kind of connection to the actual problem but Property of TM languages is like making some random unrelated statement, so I don't understand how this is supposed to work.
@kattenelvis1778
@kattenelvis1778 2 года назад
How we need a Rice-Curry Theorem and my life will be complete. Sadly, Rice and Curry never collaborated with eachother.
@mohitbhalla5864
@mohitbhalla5864 Год назад
lmfao
@wizardwarrior26
@wizardwarrior26 Год назад
Yay! thanks man you saved my day and the exam
@ZuhairKhouri2003
@ZuhairKhouri2003 9 месяцев назад
can you just put the accept state there with no transitions to it?
@317sam
@317sam Год назад
How can we just say if L(M1) = L(M2) ? Shouldn't we prove it?
@aseratawya6943
@aseratawya6943 3 месяца назад
Thanks, Boss
@s2260
@s2260 Год назад
Professor, can you tell me how I can reduce epsilon accept problem to acceptance problem?
@s2260
@s2260 Год назад
Consider a set of Turing transducers {T# | T maps epsilon to epsilon} is this decidable or undecidable?
@johnbrownell1
@johnbrownell1 Год назад
It kills me that you put a hot girl pic to bait people to watch this but tbh it worked on me😆
@cadenc2927
@cadenc2927 7 месяцев назад
What's going on with that thumbnail, Easy Theory? Care to explain?
@danielstorms420
@danielstorms420 7 месяцев назад
bro clickbaiting us
@DeepakYadav-ys7dg
@DeepakYadav-ys7dg 2 месяца назад
I've been cheated by the thumbnail
@knownlearner568
@knownlearner568 Год назад
RICE: IN SOUTH INDIA WE EAT DAILY.🤪🇮🇳
Далее
Strong Rice's Theorem
13:26
Просмотров 5 тыс.
Rice's theorem
30:03
Просмотров 37 тыс.
Turing & The Halting Problem - Computerphile
6:14
Просмотров 851 тыс.
Rice's Theorem (Undecidability): Proof
11:45
Просмотров 34 тыс.
Rice's Theorem
13:45
Просмотров 2,2 тыс.
Understanding the Halting Problem
6:33
Просмотров 78 тыс.
Is this language recognizable?
9:06
Просмотров 5 тыс.