> >You don't need an infinite tape. > > Uh, no. You *do* need an infinite tape. In fact, I'm pretty sure that > the proof of the halting problem is dependent upon this fact.
I'm just splitting hairs. In the real world if you ever tried to build a physical device that simulated a Turing Machine you would keep feeding it more tape as needed. Notice I didn't say that you necessarily know how much finite tape you need beforehand. Chris -- [email protected] http://www.kernel-panic.org/cgi-bin/mailman/listinfo/kplug-list
