Lecture 32/65: Decidability and Decidable Problems

  Рет қаралды 91,905

hhp3

hhp3

Күн бұрын

Пікірлер
@AstroFerko
@AstroFerko 5 жыл бұрын
Back to 360p! wooo moving up in the world after the slew of 240p videos. Thanks so much for making this playlist. It is an excellent resource.
@codingwithmat
@codingwithmat 9 жыл бұрын
For people who are wondering, a good argument for showing that a Turing Machine that simulates a DFA on a string ALWAYS halts would be: We know what the string is finite (so it doesn't go on forever). If the DFA given is a proper DFA, in other words, the machine won't brake with any string over the alphabet given, we know that at some point the TM simulating the DFA will stop at some state in the DFA (as string is finite). Hence the state may be an accept state or not => it always either accept or reject a string over the alphabet of the DFA.
@ClaudioBOsorio
@ClaudioBOsorio 3 жыл бұрын
I'm so mad I came up with your videos this late in the term. I appreciate the effort you put into this and I find it MOST USEFUL . Thanks
@gingernutninja6187
@gingernutninja6187 5 жыл бұрын
This is a great explanation of decidable languages and couldn't get my head around it until now. Thank you.
@jkidd55547
@jkidd55547 9 жыл бұрын
Perfect. Love your videos. So much clearer than my professor and his bullshit, complicated slides.
@davidburgess1089
@davidburgess1089 6 жыл бұрын
facts
@reklamkanal7381
@reklamkanal7381 9 жыл бұрын
Thanks for these amazing videos, learning too much while prepearing my automata final exam. Good job!
@thomaszwinger9784
@thomaszwinger9784 7 жыл бұрын
Beautiful Handwriting. YOU ARE THE BEST.
@kseniaburova1415
@kseniaburova1415 8 жыл бұрын
Best explanations ever! As always! Thank you!
@uheltvuheltv4058
@uheltvuheltv4058 7 жыл бұрын
I wish my lecturer can teach like you one day.
@deepamgupta8011
@deepamgupta8011 5 жыл бұрын
Lovely Awesome Explanation, Happy Teacher's Day from India (a bit belated)
@anurajjaiswal4609
@anurajjaiswal4609 5 жыл бұрын
Really simplified the the concept...Thank you for your efforts.
@yashwanthkumarbhuvanagiri7258
@yashwanthkumarbhuvanagiri7258 8 жыл бұрын
i appreciate ur work.
@ProfBeckmann
@ProfBeckmann Жыл бұрын
I like this course. Thank you.
@VeganWithAPassport
@VeganWithAPassport 5 жыл бұрын
Thank you for the detailed explanation, very helpful!
@ky8920
@ky8920 5 жыл бұрын
12:23 interesting, the turing machine that simulates regular language is not in type 3 but in type 1 and it is weaker than universal turing machine.
@xiaoli3918
@xiaoli3918 7 жыл бұрын
Very useful video. Thanks a lot.
@shabanamehr3368
@shabanamehr3368 4 жыл бұрын
awesome Prof.
@ruslan2667
@ruslan2667 7 жыл бұрын
Not sure how good this explanation is for the students that learning TM "decidability" for the first time but this is a VERY GOOD review before my Theory of Computation final. THANK YOU !
@Liaomiao
@Liaomiao 4 жыл бұрын
I thought Context Free Languages are decidable as are Context Sensitive?
@avadheshkumar1488
@avadheshkumar1488 4 жыл бұрын
Superb explanation.. thank very much...
@senaitgamlak2324
@senaitgamlak2324 5 жыл бұрын
where can i get your notes
@stephwliu
@stephwliu 2 жыл бұрын
A bit confused... every context free language is decidable, but you say only some questions about context free languages are decidable but others are not?
@samerghata3438
@samerghata3438 9 жыл бұрын
Thanks! Really helpful
@TA-wu3ru
@TA-wu3ru 8 жыл бұрын
thank you so much sir , i truly need ur videos
@vikaskumar-su9vy
@vikaskumar-su9vy 8 жыл бұрын
where can i get your notes???
@rj-nj3uk
@rj-nj3uk 5 жыл бұрын
From his bank account.
@tenshisis
@tenshisis 7 жыл бұрын
Thank you very much truly appreciated :)
@ImanMatar
@ImanMatar 9 жыл бұрын
Thank You
@narendraparmar1631
@narendraparmar1631 5 жыл бұрын
Thanks a lot sir god bless you
@yiwu7239
@yiwu7239 9 жыл бұрын
very helpful videos, thank you!
@GiladGur0001
@GiladGur0001 3 жыл бұрын
*Thank you sir*
@faridaelgenedi6962
@faridaelgenedi6962 3 жыл бұрын
i love you
@BossManTee
@BossManTee 7 жыл бұрын
Marry me
@willingtushar
@willingtushar 7 жыл бұрын
boring stuff...in a long video
Lecture 33/65: More Decidable Problems For DFAs
13:45
hhp3
Рет қаралды 28 М.
Мясо вегана? 🧐 @Whatthefshow
01:01
История одного вокалиста
Рет қаралды 7 МЛН
When you have a very capricious child 😂😘👍
00:16
Like Asiya
Рет қаралды 18 МЛН
8. Undecidability
1:17:02
MIT OpenCourseWare
Рет қаралды 41 М.
Rice's Theorem (Undecidability): 5 Proofs and Examples
19:01
Easy Theory
Рет қаралды 15 М.
9. Reducibility
1:16:37
MIT OpenCourseWare
Рет қаралды 45 М.
16. Complexity: P, NP, NP-completeness, Reductions
1:25:25
MIT OpenCourseWare
Рет қаралды 421 М.
L11: Church-Turing Thesis and Examples of Decidable Languages
1:18:05
The Boundary of Computation
12:59
Mutual Information
Рет қаралды 1 МЛН
Mapping Reducibility + Reductions, what are they?
8:12
Easy Theory
Рет қаралды 28 М.
I Went To DEFCON!
16:25
ThePrimeagen
Рет қаралды 329 М.
Lecture 20/65: PDAs: Pushdown Automata
18:54
hhp3
Рет қаралды 99 М.