Abstract computation theory: locality

[Abstract_Computation]

Must the locality of a read/write head be preserved in the case of an abstract read/write machine? If yes, why? If not, what is the difference between a head measuring multiple, locally variant nodes, and a head which considers these nodes as one 'hypernode' with a larger number of states? General locality of computation thread. If this question is worded poorly, please feel free to ask questions.

 

Related documents:

https://en.wikipedia.org/wiki/Locality_of_reference

https://www.youtube.com/watch?v=-t1_ffaFXao (over four hours long, but worth every moment)