Finite and Infinite Computations and a Classification of Two-Dimensional Cellular Automata Using Infinite Computations
This paper proposes an application of the Infinite Unit Axiom and grossone, introduced by Yaroslav Sergeyev (see [19, 20, 21, 22, 23]), to the development and classification of two-dimensional cellular automata. This application establishes, by the application of grossone, a new and more precise nonarchimedean metric on the space of definition for two-dimensional cellular automata, whereby the accuracy of computations is increased. Using this new metric, open disks are defined and the number of points in each disk computed. The forward dynamics of a cellular automaton map are also studied by defined sets. It is also shown that using the Infinite Unit Axiom, the number of configurations that follow a given configuration, under the forward iterations of the cellular automaton map, can now be computed and hence a classification scheme developed based on this computation.
KeywordsCellular automata Infinite Unit Axiom Grossone Nonarchimedean metric Dynamical systems
- 7.D’Alotto, L., Pizzuti, C.: Characterization of one-dimensional cellular automata rules through topological network features. In: Numerical Computations Theory and Algorithms 2016, AIP Conference Proceedings, vol. 1776, pp. 090048-1–090048-4 (2016)Google Scholar
- 14.Lolli, G., Metamathematical Investigations on the Theory of Grossone, Preprint, Applied Mathematics and Computation. Elsevier (submitted and accepted for publication)Google Scholar
- 21.Sergeyev, Y.D.: Numerical computations with infinite and infinitesimal numbers: theory and applications. In: Sorokin, A., Pardalos, P.M. (eds.) Dynamics of Information Systems: Algorithmic Approaches, pp. 1–66. Springer, New York (2013)Google Scholar
- 26.Sirakoulis, G.C., Krafyllidis, I., Spataro, W.: A computational intelligent oxidation process model and its VLSI implementation. In: International Conference on Scientific Computing Proceedings, pp. 329–335 (2009)Google Scholar