Theory of Computation
Theory of Computation
  • 41
  • 740 791
Rice's theorem
Rice's theorem
มุมมอง: 37 140

วีดีโอ

Introduction to Computational Complexity Theory
มุมมอง 13K7 ปีที่แล้ว
Introduction to Computational Complexity Theory
More on the class NP
มุมมอง 6K7 ปีที่แล้ว
More on the class NP
NP-Completeness
มุมมอง 6K7 ปีที่แล้ว
NP-Completeness
More on NP-Completeness
มุมมอง 5K7 ปีที่แล้ว
More on NP-Completeness
Undecidability
มุมมอง 16K7 ปีที่แล้ว
Undecidability
Decidability properties of Regular and Context Free Languages
มุมมอง 14K7 ปีที่แล้ว
Decidability properties of Regular and Context Free Languages
More on Undecidability
มุมมอง 9K7 ปีที่แล้ว
More on Undecidability
Reduction
มุมมอง 12K7 ปีที่แล้ว
Reduction
Applications of Reduction
มุมมอง 6K7 ปีที่แล้ว
Applications of Reduction
Turing Machine
มุมมอง 14K8 ปีที่แล้ว
Turing Machine
More on Turing Machine
มุมมอง 10K8 ปีที่แล้ว
More on Turing Machine
Non deterministic Turing Machine Edit Lesson
มุมมอง 10K8 ปีที่แล้ว
Non deterministic Turing Machine Edit Lesson
Configuration Graphs
มุมมอง 7K8 ปีที่แล้ว
Configuration Graphs
Closure Properties of Decidable and Turing recognizable languages
มุมมอง 15K8 ปีที่แล้ว
Closure Properties of Decidable and Turing recognizable languages
Pushdown Automata
มุมมอง 11K8 ปีที่แล้ว
Pushdown Automata
Deterministic Context Free Languages
มุมมอง 9K8 ปีที่แล้ว
Deterministic Context Free Languages
Closure Properties of CFLs
มุมมอง 10K8 ปีที่แล้ว
Closure Properties of CFLs
Pushdown Automata - Examples and Relation with CFGs
มุมมอง 10K8 ปีที่แล้ว
Pushdown Automata - Examples and Relation with CFGs
Pushdown Automata - Definition and Example
มุมมอง 10K8 ปีที่แล้ว
Pushdown Automata - Definition and Example
Examples of non- CFLs
มุมมอง 7K8 ปีที่แล้ว
Examples of non- CFLs
Examples of CFGs, Reg subset of CFL
มุมมอง 11K8 ปีที่แล้ว
Examples of CFGs, Reg subset of CFL
Parse tree, derivation, ambiguity
มุมมอง 12K8 ปีที่แล้ว
Parse tree, derivation, ambiguity
Normal forms, Chomsky normal form
มุมมอง 10K8 ปีที่แล้ว
Normal forms, Chomsky normal form
Non-CFLs, pumping lemma
มุมมอง 10K8 ปีที่แล้ว
Non-CFLs, pumping lemma
Introduction to CFGs
มุมมอง 13K8 ปีที่แล้ว
Introduction to CFGs
DFA minimization
มุมมอง 11K8 ปีที่แล้ว
DFA minimization
Examples of non-regular languages
มุมมอง 12K8 ปีที่แล้ว
Examples of non-regular languages
Equivalence of NFA and DFA, Closure properties
มุมมอง 31K8 ปีที่แล้ว
Equivalence of NFA and DFA, Closure properties
Regular expressions
มุมมอง 18K8 ปีที่แล้ว
Regular expressions

ความคิดเห็น

  • @GursimarSinghMiglani
    @GursimarSinghMiglani 29 วันที่ผ่านมา

    .ll

  • @bpn333
    @bpn333 หลายเดือนก่อน

    i just hate how my college forces me to watch this from swayam portal removing normal classes and normal exams altogether.

    • @atharvchavan544
      @atharvchavan544 หลายเดือนก่อน

      you are lucky

    • @bpn333
      @bpn333 หลายเดือนก่อน

      @@atharvchavan544 bro exam dena padta he. Aur padai ke naam pe 8 saal purana video chod rahe he.

  • @thendimension4816
    @thendimension4816 หลายเดือนก่อน

    The teacher we need, but we don't deserve.

    • @saranshsaini4870
      @saranshsaini4870 20 วันที่ผ่านมา

      "Deserve"?! This over exaggeration is so cringy.

    • @thendimension4816
      @thendimension4816 20 วันที่ผ่านมา

      @@saranshsaini4870 thanks 👍

  • @oogieboo1
    @oogieboo1 หลายเดือนก่อน

    For the recognizable languages, kleene star will loop infinitely and fail if you run sequentially if done using your method.

  • @hara128
    @hara128 2 หลายเดือนก่อน

    this is a very well explained video and this is the quality of lectures every child should receive ... kudos to ur explanation sir!!

  • @Hades-su8sf
    @Hades-su8sf 3 หลายเดือนก่อน

    for all 'x' belonging to sigma* also mean x can be epsilon, for which |x| = 0. so how is t(0) computed as 't' maps natural number to natural number but 0 is not a natural number.

  • @JakeSilver26
    @JakeSilver26 3 หลายเดือนก่อน

    you are the goat

  • @madalitsomuwawa88
    @madalitsomuwawa88 4 หลายเดือนก่อน

    mmakwana fada

  • @kira-nr3qj
    @kira-nr3qj 6 หลายเดือนก่อน

    sir i have a doubt in construction of nfa for the star operation, i think we have to also cover the case when string is epsilon, as it is present in the star of two languages.

  • @JacobPeralta21
    @JacobPeralta21 7 หลายเดือนก่อน

    n> o string form will accepted, not n >= 0 i guess..

  • @ujjwal770
    @ujjwal770 8 หลายเดือนก่อน

    t

  • @anarabiyev9766
    @anarabiyev9766 8 หลายเดือนก่อน

    Hello, sir. You content is great, if you make some thumbnails, edit titles and cover, edit video to speed up some writings, your channel will go to next level.

  • @thomaspanyasrivinit5473
    @thomaspanyasrivinit5473 8 หลายเดือนก่อน

    This lecture was super helpful! Thanks!

  • @NAMANMARKHEDKAR
    @NAMANMARKHEDKAR 8 หลายเดือนก่อน

    Excellent lecture. Watching this playlist at the night before the exam . Thanks a lot

  • @giveaway4002
    @giveaway4002 9 หลายเดือนก่อน

    watching this 6th time.

  • @giveaway4002
    @giveaway4002 9 หลายเดือนก่อน

    its depressing we have Undecidability. there are problems which my TM can never ever solve :(

  • @giveaway4002
    @giveaway4002 9 หลายเดือนก่อน

    awesome

  • @aishwaryakasthala97
    @aishwaryakasthala97 9 หลายเดือนก่อน

    Nice explanation using those boxes to represent. Thank you Sir!

  • @user-jt1tu5fu9b
    @user-jt1tu5fu9b 10 หลายเดือนก่อน

    kya padhate ho sir bhooot acchaa

  • @rijulsharma4453
    @rijulsharma4453 11 หลายเดือนก่อน

    Thank you sir for this informative and well-structured Lecture series.

  • @kapilgupta5928
    @kapilgupta5928 11 หลายเดือนก่อน

    Definitely, best lectures, some math is missing so that it is graspable to students. I noticed that at 14.09, where e-transitions are taken care, e-closure from q_0, starting state must also be cared. However, I feel that just a small mistake. If you go through Prof. Ullman's lecture, this mistake can be easily rectified.

  • @itsmevision38
    @itsmevision38 11 หลายเดือนก่อน

    best playlist of TOC

  • @snehalathareddy5566
    @snehalathareddy5566 ปีที่แล้ว

    NPTEL MAKES ME TO FEEL LIKE I AM AN IIT STUDENT😊

  • @sayanghosh6996
    @sayanghosh6996 ปีที่แล้ว

    This lecture should be re-recorded. too much confusion and nauseating camera work

  • @deepakmodi9343
    @deepakmodi9343 ปีที่แล้ว

    I am very thankful that even though there are not any good teachers in my college, there are excellent teachers on youtube.

  • @sayanghosh6996
    @sayanghosh6996 ปีที่แล้ว

    11:37 whoever edited this smooth-ass cut deserves a raise

  • @mauricio0guaruja
    @mauricio0guaruja ปีที่แล้ว

    that opening soundtrack is just like twin peaks opening soundtrack

  • @ikramwani5207
    @ikramwani5207 ปีที่แล้ว

    i m still stucka t reduction i cant understand reductions

  • @anupkumar-cy2dv
    @anupkumar-cy2dv ปีที่แล้ว

    🙏

  • @dennyage4791
    @dennyage4791 ปีที่แล้ว

    Kitna bekar pdate ho aaap

  • @kunaldubey3152
    @kunaldubey3152 ปีที่แล้ว

    Thank you sir for explaining myhill nerode theorem so briefly.

  • @steveraphaelpulikottil5755
    @steveraphaelpulikottil5755 ปีที่แล้ว

    doesn't S->SB remove B->^ give S->S production which shall be eliminated as unit production?

    • @LadderVictims
      @LadderVictims 4 หลายเดือนก่อน

      did you find any reason?

  • @user-mv3cg7hi7g
    @user-mv3cg7hi7g ปีที่แล้ว

    I love the intro music. very retro vibes. also great video.

  • @deveshparwani9087
    @deveshparwani9087 ปีที่แล้ว

    Thank you Sir, Love from NIT Kurukshetra. ❤

  • @chilliam65
    @chilliam65 ปีที่แล้ว

    Thank you! That was a very clear explanation

  • @devesh096
    @devesh096 ปีที่แล้ว

    Very Well Explained. Love from NIT Kurukshetra, MCA Dept. :)

  • @bijendersverma
    @bijendersverma 2 ปีที่แล้ว

    Thanks sir It is easy to understand when you explain

  • @GamingBoiiii
    @GamingBoiiii 2 ปีที่แล้ว

    COMPLETE SPPU SYLLABUS INCLUDED ?

  • @varunkumar3361
    @varunkumar3361 2 ปีที่แล้ว

    I think there should be an update of this course now, by the same professor. BTW this is an awesome course.

  • @bijendersverma
    @bijendersverma 2 ปีที่แล้ว

    Sir at 14:36 it must be 0 on the edge from q1 to q0 as explained by you.

  • @190_priyamsaha7
    @190_priyamsaha7 2 ปีที่แล้ว

    I think at 19:00 there is a little mistake . I think it should be (q0 , q1 , q0 , q0). Please Some Body verify my answer...

  • @deepjyoti7147
    @deepjyoti7147 2 ปีที่แล้ว

    7:02 mins u said Pen and paper is a computational device. Which is a completely false statement. If we write 1+2 on paper it ain't gonna give 3 as output by itself. We are the one who is writing the output 3 on paper after calculating the problem. How can a thing which has no computational power can be a computational device? We use pen and paper to note the current progress of the problem that doesn't mean pen and paper will become a computational device.

  • @djhi-tek9249
    @djhi-tek9249 2 ปีที่แล้ว

    Bashar al Asad 😲

  • @rajeshprajapati4863
    @rajeshprajapati4863 2 ปีที่แล้ว

    Very Well Explained.

  • @suhaskadu1358
    @suhaskadu1358 2 ปีที่แล้ว

    nice examples

  • @jaisuriyar5259
    @jaisuriyar5259 2 ปีที่แล้ว

    fun fact: pen and paper is a storage device, our brain is the computing one.

  • @rony2701
    @rony2701 2 ปีที่แล้ว

    great explanation

  • @rony2701
    @rony2701 2 ปีที่แล้ว

    that was clear.

  • @palashbehra9303
    @palashbehra9303 2 ปีที่แล้ว

    great lecture, understood everything, thanks.