最后一次quiz了,最近真的很累,复习一下🙏
- Using halting problem to show other problems undecidable
-
definition of decidable, undecidable
-
halting problem and its proof
-
practice questions
- Proving a set A is r.e.
- prove there exists a TM can list A.
-
example questions:
- TM simulating a Random Access Machine