 | Ming Li, Paul Vitanyi - 1997 - 670 lapas
...which was the relevant theorem we should have to compare the two numbers figure by figure, possibly ticking the figures off in pencil to make sure of...than L squares from one of the other scanned squares. [Without loss of generality restrict L and B to unity.] The move which is done, and the succeeding... | |
 | R.O. Gandy, C.E.M. Yates - 2001 - 307 lapas
...the work of this computer. To each state of mind of the computer corresponds an " m -configuration " of the machine. The machine scans B squares corresponding...more than L squares from one of the other scanned 252 AM TUBING [Nov. 12, squares. The move which is done, and the succeeding configuration, are determined... | |
 | Martin Davis - 2004 - 420 lapas
...In particular, they determine the state of mind of the computer after the operation is carried out. We may now construct a machine to do the work of this...symbol on a scanned square or can change any one of tae scanned squares to another square distant not more than L squares from one of the other scanned... | |
| |
To each state of mind of the computer corresponds an 'm-configuration' of the machine. The machine scans B squares corresponding to the B squares observed by the computer. In any move the machine can change a symbol on a scanned square or can change any... 