Home

Homework   Index   Syllabus   URM Simulator


Busy Beaver problem:
gaps in the proof given in class

Models of Computation - Mathematics 450 - Fall 2006

  1. Problem III(b) of HW 15 does not guarantee that registers R2, R3, ... contain 0 after the program stops.

  2. What if the program P that supposedly computes the function B has fewer than 16 lines?
     

Updated: 31 August, 2009 17:44:19