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 is marked on the simulated tape. We’ll simply modify this loop to clean up after [...]
|
||||||
|
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 state with has been copied into the register. This procedure resembles the find symbol subroutine. [...] |
||||||
|
Copyright © 2012 eric the fruitbat - All Rights Reserved |
||||||