Lorentz Lattice Gases and Many-Dimensional Turing Machines
We study lattice gas models of parallel, many-tape Turing machines generated by the motion of point objects on a lattice. Each read/write head of the Turing machine is seen as an object that hops from one vertex of the lattice to another according to a rule (symbol) written in the vertex. The symbols written in the lattice vertices represent the scattering rules, or scatterers, of the lattice gas model. Initially, the scatterers are randomly distributed among the vertices of the lattice. The random environment formed by the scatterers may either be fixed or may evolve as a result of collisions with moving objects. The collisions, in fact, simulate the writing of symbols into the lattice vertices. We investigate models of this type with one (many-tape single-head Turing machine) and many (many-tape many-head Turing machine) propagating objects on different types of lattices (different topologies of Turing tapes). We explore the localization and propagation properties of these models. Experiments with lattice gas models of the Turing machine demonstrate that both multiplicity of the Turing heads and non-regularity of the Turing tape may cause a localization of orbits in the corresponding model. The propagation is shown to occur in the one-particle model on the regular triangular lattice, where a moving object always propagates in one direction with random velocity.
KeywordsPeriodic Orbit Cellular Automaton Turing Machine Periodic Point Cellular Automaton
Unable to display preview. Download preview PDF.
- 8.Bunimovich L.A. Motion of particles in random media and many-dimensional Turing machines. Multi. Val. Logic. (2001), in print.Google Scholar
- 10.Bunimovich L.A. and Troubetzkoy S.E. Mechanisms which produce nongaussian behavior.in Lorentz lattice gas cellular automata In Dynamics of Complex and Irregular Structures, Blanchard Ph. (Editor) (World Scientific: Singapore, 1994) 86–92.Google Scholar
- 14.Cohen E.G.D. New types of diffusion in lattice gas cellular automata In Microscopic Simulations of Complex Hydrodynamic Phenomena Mareschal M. and Holian B.L. (Editors) (Plenum: New York, 1992) 137–152.Google Scholar
- 15.Dewdney A.K. Two-dimensional Turing machines and Turmites make tracks on a plane Scientific American September (1989) 180–183.Google Scholar
- 19.Gunn J.M.F. and Ortuño M. Percolation and motion in a simple random environment J. Phys. A18 (1985) 1095–1099.Google Scholar
- 21.Hemmerling A. Concentration of multidimensional tape-bounded systems of Turing automata and cellular spaces In Budach L. (Editor) Fundamentals of Computation Theory (Berlin: Akademie-Verlag, 1979) 167–174.Google Scholar
- 22.Hoperoft J.E. and Ullman J.D. Formal Languages and their Relation to Automata (Addison-Wesley, 1969).Google Scholar
- 27.Lorentz H.A. The motion of electrons in metallic bodies Proc. Amst. Acad. 7 (1905), 438, 585, 604.Google Scholar
- 29.Moukarzel C. Laplacian growth on a random lattice PhysicaB190 (1992) 13–23.Google Scholar