Why study theory of computation?

[@zhouwang5001]

Every theory intensive course should have a first lecture like this to motivate students! I am glad I ran across this video, and I am very much motivated by TOC now. Thanks!

[@souravnamdeo]

same here, it inspires me too!

[@nadamvs]

yep

[@raghavgoel1336]

Procrastinating my theory of computation assignment brought me here... Was worth it!

[@minxxdia1132]

my teacher showed us your video in class, came here to say it's brilliant !

[@nawalkhawar7602]

I'm not even joking when I say I feel so happy I want to cry: I found your channel today and it is such a huge serotonin boost! I'm a CS student currently studying Theory of Automata and it's safe to say I'll be bingeing your videos to prep for exams. Thank you for making them!!

[@jpfdjsldfji]

If you can find the time to, I would really appreciate more content! I'm a student with ADHD, and your addition of humour and animations are the only thing that can keep me engaged with this topic and help me learn! Thank you for your effort and time:)

[@Farreach]

Theory is a very hard class for sure I was so lucky to have an amazing instructor to teach it to me ...

[@alilubab207]

Hi, I have Introduction to theory of computing this semester and I am understanding absolutely nothing Is there a specific way or reference that you would recommend for studying it?

[@kamal5046]

You are lucky ;)

[@Raj-mo8kh]

@@alilubab207 yup same here

[@Yazan_Majdalawi]

@@alilubab207 have you found one?

[@Kraboobee]

I rewatch all your videos before each of my formal logic assignments. Thanks so much for these

[@ohgeetube]

Please keep making videos. This channel is the best for theory of computation on youtube, trust me i've been searching. I just watched your pumping lemma videos, and as someone that is trying to prepare for an exam I must saynthat so far you were the only person explaining the concept in a way that left no open questions. I wish my Profs would watch this, they could learn a thing or two form you as well 😁

[@masterprattu]

Thanks for so cogently explaining why students of CS need to study Theory of Computation! I loved your style of explaining the content, as well as the other information and the practical advice you have given in the video. Your animations are great as well. All the best, and looking forward to your next videos :)

[@lydia-.]

Prathamesh Beri Thank you so much for the kind words! I’m so glad to hear you enjoyed the first video. Stick around and the future ones will be even better! ☺️

[@Randomguy-zv3tv]

impressive video, Gave a great context. You deserve subscription

[@Abdulrahman-uk9ny]

please don't stop making videos, your videos are so helpful.

[@xiaoqingtian6542]

I hope you can make more videos for theory of computation. Your video is very interesting and useful.

[@ayazakhtar9744]

Never had imagined that a video on TOC will be so downright adorable... 🙂

[@abhishekjain4251]

Super explanation 😃 Gave strength and also here more than the computer itself, here instructor or teacher is valuable. I am glad to have one such amazing teacher.

[@TvideosTv]

good video, loved the animationkk

[@prasadmangal5435]

these series of videos that you have put out is really helpful, I could not make it to class and fell behind my peers and really resented this subject, but these videos really helped 😁

[@natalie.p6997]

Thank you. If I hadn't come across your video, I would've never learned TOC seriously. Thanks so much

[@tianyiluo4643]

I love the way you explain the concept and those cute drawings!

[@larry6597]

I wish I found this account 3 weeks ago... I would've definitely passed my exam with these wonderful videos!

[@The_Great_Pietro]

Your videos are very wholesome 😊 Thanks a lot for your awesome work.

[@tubetalk8036]

Learned something new today. Thanks. You deserve millions views.

[@dr.husni.almistarihi]

easy and perfect explanation

[@devdude357]

Thanks for the video, I love the way you have explained such complex topics in simple terms that even school kids could understand. You have earned a subscriber 👍

[@atharvaswami5726]

girl made a playlist on TOC and then just vanished.

[@Yeahagreed]

She fulfilled her purpose

[@srivyshnavigunda]

She is awesome!

[@playgroundmotivation6470]

Where is she ???

[@cheenaza]

right 😭😭😭 I need more

[@aashitanarayanpur8602]

Great work, thank you!

[@zeydbahadir]

Brilliant explanation, I love the way it is simple.

[@Abbas-eg8ru]

Our world consists of a lot of patterns. And one of them is a disability of university teachers to motivate and then explain/teach things like Theory of Computation like you did!

[@anjalithakur3430]

thanks for this video.. i am actually looking for this kind of explanation..and you deserve more subscribers.. i am from india and preparing for gate cse... this type of videos will help me alot...thankyou looking forward to ur next videos :)

[@shri9229]

The voice healed me , Thank u mam

[@chrisogonas]

Amazing work, Lydia Cheah! Keep doing more. Thanks

[@tech_commando]

This should be the 1 video in any course

[@richardharris202]

Underrated channel 💔

[@georgedanielmaret5518]

wonderful illustration!

[@abdosalah22]

Great video! You deserve more subscribers

[@jennifermeier3873]

Thank you, learning this in uni right now and struggling with it 🥲❣️

[@deepaktiwari7059]

Great explanation and animation You really deserve more sub's n views

[@kumarakantirava429]

Thank You. Wonderful explanation.

[@tomasbruna3004]

Simply amazing!

[@lordmushroom723]

I love the art :D

[@Mikey-fj7tb]

Great video and cute animations. Thank you

[@shreyasgosavi9647]

2:10 But how do we make those models??

[@arjunchraran7467]

Great video !.....

[@otakuelement3306]

In my first year of computer science i had a course wich was about computation theory and advanced algorithms and not gonna lie, it was the most enjoyable course i've taking during my 3 years in engineering.

[@joaogabrielvasconcellos5254]

Nice video!

[@zackcarl7861]

Your content is so good why did you stop

[@expansivegymnast1020]

Fantastic!!!

[@aliyyah82]

Interesting video!

[@alotan2acs]

This is wonderful! thanks! Happily awaiting more of your content. One thing I don't understand is how a "model of computation" is different from regular math, or a function. What separates math/proof (i.e. a theorem, axioms, formula, statement, or set of deductive statements) from "computation"? When does it "become computation"? Another example, “Go to shop, search for X, buy it, return home” is a program in some sense. It’s just a procedure; or a set of “instructions”. Why does that count as a program, and a “computation” when you run it (if it indeed does)? Whilst other mathematical functions don't count.

[@lydia-.]

I'm glad you enjoyed this video! It was my very first video and comments such as yours make me glad I decided to put it onto KZbin in the end. :) As for your question about what counts as "computation", I think you are on the right track by comparing computation to mathematical functions. I think of computation as something we 'run', and because we do run/compute math in our heads or on computers (such as a calculator), I think you could definitely think of mathematical functions as computations. I think the only difference between "computation" and what we think of as a function, is the field in which each term is used. In computer science, we say computation; in mathematics, we say function. It might also be helpful to note that the field of theoretical computer science is basically mathematics but in the context of computing.

[@alotan2acs]

@@lydia-. Hi Lydia! Thanks for replying! Your videos are really accessible and cute. Keep going :) I sort of understand what you mean in the sense that, when we compute stuff, we're running functions that transform inputs into outputs. So "computation" and "function" are the same because they map inputs to outputs. But my difficulty is that, in math, functions seem to be treated as "static objects". Like, just a map between 2 things. Or even more statically, just a set of ordered pairs. No "moving parts". There's no notion of "evaluating" the function, or "moving from" the input to the output. Everything's just "kinda there", laid out already. But in real life, we have to actually "compute" functions ('run them' as you said, whether in our heads or on a computer). Yet I've never encountered any concept of "compute" in math functions. It's almost like the answer is "assumed to already exist". So they still seem different to me :0

[@alotan2acs]

Maybe another way to emphasize the difference I perceive: even if I can establish a function that maps the way I want (i.e. I have a formula), that doesn't mean I've established an efficient algorithm for "computing" the mapping. E.g., maybe the formula can be calculated by simplifying it first. So it seems there are 2 different things: there is a function, and a corresponding algorithm. If the algorithm is "correct", then its inputs and outputs would match the mathematical function's.

[@lydia-.]

@@alotan2acs I see what you mean! The distinction you are making between a mathematical function as we know it and a computational algorithm makes sense. I had initially thought you were asking about the difference between computing the output of a function vs. a program, and why does one count as computation and not the other. But if I understand you correctly now, you are asking why it is that when it comes to mathematical functions, there always seems to be that one correct answer, regardless of how we attempt to get to that answer; the answer is "assumed to exist". However, we have to "compute" the function to actually know said answer. So given these two distinct parts of a function: (i) the mapping of an input to output, and (ii) how we get the correct mapping; you are asking which counts as a computation, or at least why when we learn math, (i) exists regardless of (ii). Am I getting your question a little more right haha

[@alotan2acs]

​@@lydia-. Yes indeed! Just to be pedantic, technically I guess we don't have to "assume" the answer to a function exists. Since we can prove that the function is "well defined" (every input will map to an output). In that sense, we know the function is "all there" (abstractly). But then, just because I know f(x,y) = xy + x^2 WILL MAP to a single output doesn't mean I have that actual output. I now need to "Compute" (whatever that means) f(4,5) to actually get the answer. And as you said, there could be multiple effective procedures/algorithms for computing the same function. So in my understanding (or misunderstanding?): - A "function" in the computational sense is actually an algorithm. A procedure. Not a static map. There's a "mathematical function" that specifies the static mapping (e.g. a formula). And an "algorithm of that function". If the algorithm is accurate, its inputs and outputs will correspond to the function's. - There can be many procedures for the same function, and many mathematical characterizations for the same procedure. Whenever math class taught me about mathematical functions, it never tackled the idea of "computing" formally. It was just assumed that I, the human, would go off and "evaluate" the function (in that sense the answer was "assumed to already exist"). So the "function/formula" and its "computation" were never distinguished. But now I see from your videos that they are different. The definition/formula for the function is different from a procedure that actually evaluates it. But how to properly capture that distinction is still fuzzy in my mind. It probably has something to do with what you mentioned at 2:00. Thanks for all your replies!!

[@nityagopalsaha1715]

Thanks for highlighting Iydia😄

[@alireza2177]

your channel is perfect keep it UP :D

[@rakeshuikey6166]

Thanks for sharing such info

[@ioanabiris3472]

Thank you!

[@britonbwihili2278]

Yo please continue posting.

[@Sonofpeace]

Thanks for your video.

[@sraxler]

I just failed a module in theory of computation and was really demotivated to re-answer the exam. I hope to do better this time around.

[@spazzBackwoods]

well done!!!

[@ayaanbari6711]

I think the problem of today's system of studying CS is that people want to study CS through job perspective and not as a subject So they are always behind coding , compiling and fixing bugs in a very high level language like python And that's the reason people forget about theoretical computer science,also ask why we should study TCS I am doing my undergrads in CS and I am fascinated by computational complexity and algorithmic efficiency.

[@ProdbyZyruh]

Thank you for this course!

[@csss129]

Nice explanation Lydia

[@justinharris6898]

:59 honestly sounds like computational thinking Then that’s where data structures and algorithms come in And so on. Great to see how everything ties together

[@sugarayah]

wow your voice is so calming and you seem so cool can we be friends also i hope these videos are in my toc class because i feel like id learn so much more!! #supercool!!

[@nelsonjoppi]

awesome vid, thank you

[@BATMAN10N]

Nice art :3

[@damousx6860]

Im not even in school but I want to learn more about this because my brain seems to want that

[@climbeverest]

Please tell me how I can learn this more?

[@Rudra-go6us]

wow great thank you lydia

[@muhammedyildiz6938]

excellent

[@himanshi7896]

What shall I learn first??? Theory of computation or digital electronics

[@kaikyscot6968]

Thanks a lot !

[@aryamanshaan3624]

Could you point out a good book on Theoretical Computer Science? Perhaps an introductory book?

[@novitekka]

More videos please

[@moazelsawaf2000]

Thanks a lot ❤

[@tusharpapnai2907]

From where did you study TOC ?

[@richoryx1956]

100th comment 🎉

[@saadhaider9576]

Why make the restriction that you can’t run the input program for the halting problem. Even if you allow that (which Turing machines can do), you still can’t decide the halting problem

[@gabrielprasenaraj]

4 days left for exams and rn i am watching this.

[@ijasahmeddisha1389]

Love your voice....

[@iJustMakeThings]

0:18 is crazy

[@deebrandao5679]

I have a exam in less than a day, other playlists and videos are way to long to realistic watch until then so this is going to save my ass (a little bit)

[@MatttKelly]

theory is such a hard class just finished it. i love this explanation tho.

[@DrinKurtishi]

where is video about regular expressions?!

[@renanmonteirobarbosa8129]

Actually ... You can write a proof for the halting case. The one that you cannot is for the case where it does not Halt. MIP*=RE

[@Sinner_17]

Your voice is really lovely.

[@demigodtherapper483]

Why did u stop posting videos😢

[@easyexamcare3222]

Good try ... 👍👍👍

[@vishnusaivarshithkaki7921]

Hola IIITS

[@guldilo]

The theory of computation wants to tell us, that there are problems that cannot be solved by computers? My computer only processes a finite number of data. My computer hat limited computing power and memory. Of course there are an infinite number of things, my computer cannot compute! Why the hell do I need the theory of computation???

[@ru2979]

jajaja que animaciones tan graciosas

[@aashi.mehrotra]

HOPE is a four letter word

[@guldilo]

Harry Potter is certainly able to conjure up a computer that has infinite memory and processing power. On such a computer, computability theory would make a lot of sense. Does anyone actually think that there is no difference between Harry Potter's computer and my computer?

[@enigmastare]

so there isnt really a practical use of it

[@ramkumarr1725]

Theory of computation is not a philosophy. Say yes or no. Yes ChatGPT ❤❤🎉🎉

[@Fmrkooo]

Lydia, you have great & visually appealing animations right there, but GEEEEEEZUUUUZ this gotta be the cringiest way to talk EVER!!! Please for the love of god we aren't children, so stop talking in a childish way. I felt like I watched Loony Tunes cartoon for a second!!

[@lydia-.]

Fmrkooo Hey, thanks for the comment. This was the first video I’ve ever made and animated so it’s nice to hear that you liked it. I wish I could comment further on the way I talk, but this is just how I sound, especially in trying to reach an audience who finds the subject a little daunting. I hope you find the later videos less cringe, but if you still do, I’ll take no offence if you decide not to watch them!

[@Fmrkooo]

@@lydia-. Nice to hear this from you, I subscribed to see further improvement. BTW I know there's no way you could sound like this, but I want you to watch it & notice how much do you just ENJOY watching despite the content being shown, I mean even if he's talking about random topics, but with this voice?? I WOULD STILL WATCH THE WHOLE THING!!! kzbin.info/www/bejne/rqKumWSueaZ0g5I

[@mrtumytums]

I never expected to see Ahoy here haha, Ahoy's videos are amazing and I can see what you mean about how a good narrative voice can really carry a video. Also it's good you realize that she could never sound like Ahoy because it feels shit to be compared to something someone could never be. At the same time I hope you realize too that there isn't one specific objectively good voice and I don't think high-pitched feminine voices are worse for narration. I usually find myself thinking something is out of place only because I am not used to it. Do you think you find it a bit weird because you're not used to hearing voices like this for CS topics?

[@Fmrkooo]

@@mrtumytums Happy to see someone who knows The Almighty Ahoy. I didn't say that her feminine voice is the problem, absolutely not, all I said was the way she talks to us the viewers is a very childish approach & it feels so dumb to watch as you subconsciously think of yourself as a kid who wants mommy to teach a lesson about a CS topic (Hooorraaaay!!!) Also not mentioning the amount of cringe & disturbance you get from the vibes, it reminds me of anyone's reaction to gum-chewing voices, it can be & it is very frustrating to say the least!

[@dewok2706]

Cringe.