Continuous spatial automaton

From HandWiki
Short description: Abstract machines which have a continuum of locations with finite states

In automata theory (a subfield of computer science), continuous spatial automata, unlike cellular automata, have a continuum of locations, while the state of a location still is any of a finite number of real numbers. Time can also be continuous, and in this case the state evolves according to differential equations.

One important example is reaction–diffusion textures, differential equations proposed by Alan Turing to explain how chemical reactions could create the stripes on zebras and spots on leopards. When these are approximated by CA, such CAs often yield similar patterns. Another important example is neural fields, which are the continuum limit of neural networks where average firing rates evolve based on integro-differential equations.[1][2] Such models demonstrate spatiotemporal pattern formation, localized states and travelling waves.[3][4] They have been used as models for cortical memory states and visual hallucinations.[5]

MacLennan [1] considers continuous spatial automata as a model of computation, and demonstrated that they can implement Turing-universality.[6]

See also

References

  1. H. R. Wilson and J. D. Cowan. "Excitatory and inhibitory interactions in localized populations of model neurons" Biophysical Journal, 12:1–24, 1972.
  2. H. R. Wilson and J. D. Cowan. "A mathematical theory of the functional dynamics of cortical and thalamic nervous tissue" Kybernetik, 13:55–80, 1973.
  3. S. Amari. "Dynamics of pattern formation in lateral inhibition type neural fields" Biological Cybernetics, 27:77–87, 1977.
  4. Coombes, Stephen (2006). "Neural fields". Scholarpedia 1 (6): 1373. doi:10.4249/scholarpedia.1373. Bibcode2006SchpJ...1.1373C. http://pdfs.semanticscholar.org/d212/20f497f3b608b84efed7d6b9524424a47c0e.pdf. 
  5. G. B. Ermentrout and J. D. Cowan. "A mathematical theory of visual hallucination patterns" Biological Cybernetics, 34:137–150, 1979.
  6. David H. Wolpert and Bruce J. MacLennan, "A Universal Field Computer That is Purely Linear", University of Tennessee, Knoxville, Department of Computer Science Technical Report CS-93-206, September 14, 1993, 28 pp.