CSSE 474: Day 6

Topics

• Simulating TMs through the Universal TM
• A language which is not Turing acceptable

Resources

1. Turing's paper in which he proposed the "Turing Machine" and showed the undecidability of the halting problem
2. Wikipedia entry on halting problem.