Universal Turing Machines, Part 9: Fin
The last routine left us with markings on the bits of the current state. Conveniently, it also left us to the left, while the UTM’s Start state has a loop which moves right to check wether or not a symbol…
Universal Turing Machines, Part 8: Lost in Transition
First: Last weekend I met with a friend and we reviewed this UTM subroutine by subroutine, finding a few errata, which have been fixed. Finally, we’ve reached the end. The last step of simulation is to find and mark the…