CSCI 470 Spring 2013
Languages and Machines
Archived Class
Charles Cusack
Computer Science
Hope College
Main
Schedule
Grading
Gradebook

Policies
Advice
College
    Policies

Notes
Programs
Tutorials

CSCI 235
MATH 160
Others

Admin

Homework 9

Details

  1. 3.6
  2. 3.7
  3. 3.8b
  4. 3.8c
  5. 3.12
  6. 3.15b
  7. 3.15e
  8. 3.16d
Hints:For 3.12, show how to simulate a TM with a "reset TM". For 3.15 and 3.16, read the solution to part a. For all of these, remember that a TM is not guaranteed to halt unless it is a decider.