Abstract
Cellular Automata (CA) map bits of state on the vertices of a lattice-graph, and compute using a Look-Up Table (LUT), listing the new state of a vertex, given the states of its neighbors. We pursue the long term goal of designing an efficient General-Purpose CA (GPCA). Our current GPCA version uses 77 bits of memory and 13878 logic gates at each vertex. Dealing with such high complexity forced us to develop a new scheme for specifying and simulating CAs. Instead of a lattice-graph we use a planar-graph. We map bits of state not only on vertices, but also on edges and faces of this planar-graph. Computation is not specified with LUT, but using operations on fields of those bits. Fields and operations define a so-called “spatial-type”: the 2D space is managed using communication operations moving bits between vertex, edges and faces. Operations are combined into expression computing increasingly complex fields. Expression is the basis of language, it brings two assets:
1-For the specification, expressions for intermediate fields are reused in other higher-level expressions, allowing a modular implementation.
2-For the simulation, an expression is automatically translated in gates and wires of a circuit exploiting the SIMD capabilities of processors.
The GPCA represents the supports of agents using a boolean field x. We show how to program incrementally the expression that computes a key intermediate field x \(\mapsto \) meet(x) representing the set of vertices and edges where modifying x would break the connectedness of a support. We demonstrate the modularity of the description by reusing meet(x) for something it was not planned for in the GPCA: generate a CA circuit computing the Discrete Voronoi Diagram on top of a planar graph.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
The GPCA does compute the VD, but using a much more complex circuit [5]: it computes distances modulo 8, and constantly updates the VD if seeds are moving.
References
Adamatzky, A.: Voronoi-like partition of lattice in cellular automata. Math. Comput. Model. 23(4), 51–66 (1996)
Chopard, B., Droz, M.: Cellular Automata Modeling of Physical Systems. Cambridge University Press, Cambridge (1998)
Gruau, F.: Videos of development on the general purpose cellular automaton (2018). https://www.lri.fr/~gruau/#development
Kronholm, K., Birkeland, K.W.: Integrating spatial patterns into a snow avalanche cellular automata model. Geophys. Res. Lett. 32(19) (2005)
Maignan, L., Gruau, F.: Integer gradient for cellular automata: principle and examples. In: SASO 2008. IEEE (2008)
Rauch, E.: Discrete, amorphous physical models. Int. J. Theor. Phys. 42(2), 329–348 (2003)
Zhou, H., Jin, M., Wu, H.: A distributed Delaunay triangulation algorithm based on centroidal Voronoi tessellation for wireless sensor networks. In: MobiHoc 2013. ACM (2013)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Gruau, F., Maignan, L. (2018). Spatial Types: A Scheme for Specifying Complex Cellular Automata to Explore Artificial Physics. In: Fagan, D., Martín-Vide, C., O'Neill, M., Vega-Rodríguez, M.A. (eds) Theory and Practice of Natural Computing. TPNC 2018. Lecture Notes in Computer Science(), vol 11324. Springer, Cham. https://doi.org/10.1007/978-3-030-04070-3_5
Download citation
DOI: https://doi.org/10.1007/978-3-030-04070-3_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-04069-7
Online ISBN: 978-3-030-04070-3
eBook Packages: Computer ScienceComputer Science (R0)