Continuous spatial automaton: Difference between revisions

Revision as of 21:37, 17 October 2024

Revision as of 00:36, 18 October 2024

Line 1:

{{short description|Abstract machines which have a continuum of locations with finite states}}

InA '''continuous spatial automaton''' is a type of computer model studied in [[automata theory]], (a subfield of [[computer science]]),. '''continuousIt spatialis automata''',similar unliketo a [[cellular automataautomaton]], havein that it models the evolution of a continuumset of locationsmany states over time. Unlike a cellular automaton, whilewhich thehas statea discrete grid of states, a continuous spatial automaton has a continuum of locations in one or more dimensions. The state at each ___location stillmay isbe anychosen from a discrete set of numbers, or from a finitecontinuous numberinterval of [[real number]]s. TimeThe canstates may also bevary continuouscontinuously in time, and in this case the state evolves according to a [[differential equation]]s.

One important example is [[reaction–diffusion]] textures, differential equations proposed by [[Alan Turing]] to explain how chemical reactions could create the stripes on [[zebra]]s and spots on [[leopard]]s. When these are approximated by CAcellular automata, such CAscellular automata often yield similar patterns. Another important example is neural fields, which are the [[continuum limit]] of [[neuralNeural network (biology)|neural networks]]s where average firing rates evolve based on [[integro-differential equation]]s.<ref>H. R. Wilson and J. D. Cowan. "Excitatory and inhibitory interactions in localized populations of model neurons" ''Biophysical Journal'', 12:1–24, 1972.</ref><ref>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.</ref> Such models demonstrate [[spatiotemporal pattern]] [[pattern formation|formation]], localized states and [[travelling wave]]s.<ref>S. Amari. "Dynamics of pattern formation in lateral inhibition type neural fields" ''Biological Cybernetics'', 27:77–87, 1977.</ref><ref>{{Cite journal|doi = 10.4249/scholarpedia.1373|title = Neural fields|year = 2006|last1 = Coombes|first1 = Stephen|journal = Scholarpedia|volume = 1|issue = 6|page = 1373|bibcode = 2006SchpJ...1.1373C| doi-access=free}}</ref> They have been used as models for cortical memory states and visual hallucinations.<ref>G. B. Ermentrout and J. D. Cowan. "A mathematical theory of visual hallucination patterns" ''Biological Cybernetics'', 34:137–150, 1979.</ref>

MacLennanBruce [http://www.cs.utk.edu/~mclennan/contin-comp.html]MacLennan considers continuous spatial automata as a model of computation, and demonstrated that they can implement Turing-universality.<ref>David H. Wolpert and Bruce J. MacLennan, [http://web.eecs.utk.edu/~mclennan/papers/ut-cs-93-206.pdf "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. </ref>

==See also==