Theory of Computation Quiz3 Review

最后一次quiz了,最近真的很累,复习一下

  1. Using halting problem to show other problems undecidable
  • definition of decidable, undecidable


    Theory of Computation Quiz3 Review_第1张图片
    image.png
  • halting problem and its proof


    image.png

    image.png

    Theory of Computation Quiz3 Review_第2张图片
    image.png
  • practice questions


    Theory of Computation Quiz3 Review_第3张图片
    image.png

    Theory of Computation Quiz3 Review_第4张图片
    image.png
  1. Proving a set A is r.e.
  • prove there exists a TM can list A.
  • example questions:


    Theory of Computation Quiz3 Review_第5张图片
    image.png
Theory of Computation Quiz3 Review_第6张图片
image.png
  1. TM simulating a Random Access Machine

你可能感兴趣的:(Theory of Computation Quiz3 Review)