Nits:
1) We are not Turing machines, only possibly equivalent to them.
2) With a finite tape, please...
O----------------------------------O
| Hara Ra <harara@shamanics.com> |
| Box 8334 Santa Cruz, CA 95061 |
O----------------------------------O