3. Halting Problem Show that there is no algorithm H that takes the code of some program P and de- termines whether P halts a

3. Halting Problem Show that there is no algorithm H that takes the code of some program P and de- termines whether P halts and outputs “I will pass MATH1090!”. That is, H should say loop, if P loops forever or doesn't output “I will pass MATH1090!” halt, if P halts and outputs “I will pass MATH1090!” Reduce the original halting problem to this and explain your reduction!

Leave a Reply

Your email address will not be published. Required fields are marked *