L12: Universal Turing Machines; The Halting Problem is Recognizable but Not Decidable

แชร์
ฝัง
  • เผยแพร่เมื่อ 26 พ.ย. 2024

ความคิดเห็น • 19

  • @buttegowda
    @buttegowda 11 ปีที่แล้ว +2

    Again ... thanks a lot. this is the best UTM lecture/read I have ever come across and this is narrated so close to a computer machine (47:40) language that now everything falls in place. Thanks a lot and you saved me.

  • @Pinoyguitarist5
    @Pinoyguitarist5 7 ปีที่แล้ว +3

    Wish this course was taught this way in my school.

  • @basantsub1234
    @basantsub1234 11 ปีที่แล้ว +1

    Nicely explained. It makes sense so much now. Thanks for this amazing lecture.

  • @buttegowda
    @buttegowda 11 ปีที่แล้ว +1

    Just to be picky: At 43:50, we cannot go back and scan for the transition to rule to determine R,L move without actually saving "old" Q and w somewhere, as we have already written new q and w into the temporary tapes.

  • @clingon9
    @clingon9 8 ปีที่แล้ว

    This is the best video/explanation I have seen on this subject. Thank you Professor!!!!

  • @w4d3rk
    @w4d3rk 9 ปีที่แล้ว

    Thanks for good explaination .
    But, how come does the input of "D" can be just description of Turing machine ??
    Can I just think about the Turing machine which works for the particular input w?

  • @Nestorghh
    @Nestorghh 10 ปีที่แล้ว

    nice proof about the UNDECIDABILITY of the halting problem.

  • @chrisogonas
    @chrisogonas 5 ปีที่แล้ว +1

    Good old days before Profs became over-dependent on Powerpoint slides :) ... Great delivery, Prof.

    • @channalmath8628
      @channalmath8628 5 ปีที่แล้ว

      Good lecture,
      I strongly disagree about Powerpoint (or TeX, really).
      I don't like having to listen to someone talk ex-tra-slow-ly because they are trying to write at the same time. Most of the time, they try to ameliorate this by writing very fast, which just results in more illegible words.

    • @channalmath8628
      @channalmath8628 5 ปีที่แล้ว

      Good lecture,
      I strongly disagree about Powerpoint (or TeX, really).
      I don't like having to listen to someone talk ex-tra-slow-ly because they are trying to write at the same time. Most of the time, they try to ameliorate this by writing very fast, which just results in more illegible words.

    • @channalmath8628
      @channalmath8628 5 ปีที่แล้ว

      @@rj-nj3uk yes, ideally you should put steps on different slides (or animate slides, which is essentially the same). I'm not pro-Powerpoint, classic physical slides are often perfectly adequate

  • @baharehshakiba2957
    @baharehshakiba2957 9 ปีที่แล้ว

    Perfect explanation and teaching

  • @rr0184
    @rr0184 9 ปีที่แล้ว

    Excellent didactics, it help a lot.

  • @aydinahmadli7005
    @aydinahmadli7005 5 ปีที่แล้ว +1

    great lecture, thanks !

  • @xingshengwang9868
    @xingshengwang9868 10 ปีที่แล้ว

    Very very good about UTM.

  • @xybersurfer
    @xybersurfer 10 ปีที่แล้ว

    beautiful proof. i finally get it

  • @rhpmpp
    @rhpmpp 9 ปีที่แล้ว

    Nice proof. Thanks.

  • @Sunnyvale877
    @Sunnyvale877 10 ปีที่แล้ว

    Sound's real random.. Clean is unknown , proof is random, zero is fantom output...?

  • @dalest.hillaire5542
    @dalest.hillaire5542 8 ปีที่แล้ว

    Nicely articulated.