. Dans-cette-implantation, . Donner-le-diagramme-de-classe-est-sans, and . Intérêt, En effet, il ne s'agit que d'une instanciation spéciale d'une bibliothèque dédiées à la manipulation d'AC pour y intégrer l'utilisation de la simulation du comportement d'une machine à signaux sur une certaine configuration puis extraction du résultat. Les seuls diagrammes intéressant et utiles pour qui s

. Celle-ci, est en deux parties, avec tout d'abord la simulation en elle-même de la machine à signaux, puis l'approximation du résultat quand le besoin se présente. La Fig. B.1 donne ces deux diagrammes

, Le travail d'implantation s'est donc porté sur l'intégration de cette bibliothèque dans un simulateur d'automates cellulaires et ne présente rien de notable. Il a cependant nécessiter un travail important, notamment pour produire un simulateur d'AC pouvant être facilement interfacé avec le calcul des nouveaux états

, Il y a de nombreuses classes abstraites dans ce diagramme car il ne s'agit ici que de la vision générique des méta-modules et modules, c'est-à-dire qu'il s'agit d'un squelette qui est implémenté pour les deux types de modularités (continue et discrète). Ainsi, il faudrait en réalité tripler la taille de ce diagramme pour représenter la totalité de l'implantation. Pour le décrire simplement, il se présente en quatre parties :-les méta-module (la classe Meta_Module y est centrale),-les modules (avec la classe Abstract_Module),-la dynamique modulaire fine (avec notamment la classe Fine_Modular_Dynamic, qui engendre automatiquement ces fonctionnalités à partir d'un fichier exprimant la grammaire du langage à compiler

. Bibliographie,

A. , Adamatzky (éd.)-Collision based computing, 2002.

M. Amos-«, Dna computation, 1997.

J. Berggren, J. Borwein, and P. Borwein-pi, A source book, 2004.

]. F. Becker, M. Chapelle, J. Durand-lose, and V. Levorato, Senot-« Abstract geometrical computation 8: Small machines, accumulations & rationality, 2013.

J. Bresenham-«-algorithm, IBM Systems Journal, vol.4, issue.1, pp.25-30, 1965.

L. Blum, M. Shub, and S. Smale-«, On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines, Bull. Amer. Math. Soc, vol.21, issue.1, pp.1-46, 1989.

A. , Church-« An unsolvable problem of elementary number theory, Journal of Symbolic Logic, vol.1, issue.2, pp.73-74, 1936.

J. P. Crutchfield, M. Mitchell, and R. Das-«, The evolutionary design of collective computation in cellular automata », Evolutionary DynamicsExploring the Interplay of Selection, Neutrality, Accident, and Function, pp.361-411, 2003.

M. Cook-«, Universality in elementary cellular automata, Complex Systems, vol.15, pp.1-40, 2004.

D. Duchier, J. Durand-lose, M. Senot, and -. Parallelism, Solving SAT in bounded space and time », Algorithms and Computation-21st International Symposium, ISAAC 2010, pp.279-290, 2010.

J. Durand, Lose-« Reversible space-time simulation of cellular automata, Theoret. Comp. Sci, vol.246, issue.1-2, pp.117-129, 2000.

, Computing inside the billiard ball model, pp.135-160, 2002.

, Calculer géométriquement sur le plan-machines à signaux », Habilitation à Diriger des Recherches, 2003.

, Abstract geometrical computation : Turing-computing ability and undecidability », New Computational Paradigms, First Conference on Computability in Europe, CiE, pp.106-116, 2005.

, Forcasting black holes in abstract geometrical computation is highly unpredictable », Theory and Applications of Models of Computations (TAMC '06, pp.644-653, 2006.

, Reversible conservative rational abstract geometrical computation is Turing-universal », Logical Approaches to Computational Barriers, 2nd Conf. Computability in Europe (CiE '06) (A. Beckmann et J. V. Tucker, éds.), pp.163-172, 2006.

, Abstract geometrical computation and the linear Blum, Shub and Smale model », Computation and Logic in the Real World, 3rd Conf. Computability in Europe (CiE '07, pp.238-247, 2007.

, Abstract geometrical computation with accumulations : Beyond the Blum, Shub and Smale model », 4th Conf. Computability in Europe (CiE '08, pp.107-116, 2008.

, Black hole computation : implementation with signal machines », IW PC, pp.136-158, 2008.

, Abstract geometrical computation 4: small Turing universal signal machines, Theoret. Comp. Sci, vol.412, pp.57-67, 2011.

, Abstract geometrical computation 6 : A reversible, conservative and rational based model for black hole computation, vol.8, pp.33-46, 2012.

P. Bonizzoni, V. Brattka, and B. Löwe, Invited talk for special session Computation in nature, Irrationality is needed to compute with signal machines with only three speeds », CiE '13, pp.108-119, 2013.

R. P. , Feynman-« Quantum mechanical computers, Foundations of Physics, vol.16, issue.6, pp.507-531, 1986.

P. C. Fischer-«, Generation of primes by a one-dimensional real-time iterative array, J. ACM, vol.12, issue.3, pp.388-394, 1965.

S. Ginsburg and S. A. , Greibach et M. A. Harrison-« Stack automata and compiling, J. ACM, vol.14, issue.1, pp.172-201, 1967.

E. Goto-«-¯-otomaton-ni-kansuru-pazuru-;-», , pp.67-92, 1966.

J. , Hamkins et A. Lewis-« Infinite time Turing machines, J. Symbolic Logic, vol.65, issue.2, pp.567-604, 2000.

G. Jacopini, Sontacchi-« Reversible parallel computation : An evolving space-model, Theor. Comput. Sci, vol.73, issue.1, pp.1-46, 1990.

L. Labourbe-«, Discrétisation de machines à signaux vers des automates cellulaires : aspects locaux, 2017.

M. V. Lawson-finite-automata, C. Hall, and /. Crc, , 2004.

V. Levorato and M. Senot-«, Discrete signal machines via pretopology, Second Workshop on Non-Classical Models for Automata and Applications-NCMA 2010, pp.127-140, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00511950

M. Morse and G. A. , Hedlund-« Symbolic dynamics II. Sturmian trajectories », Amer. J. Math, vol.62, pp.1-42, 1940.

W. S. Mcculloch and W. , Pitts-« A logical calculus of the ideas immanent in nervous activity, The bulletin of mathematical biophysics, vol.5, issue.4, pp.115-133, 1943.

J. Mazoyer and I. , Rapaport-« Inducing an order on cellular automata by a grouping operation, 15th Annual Symposium on Theoretical Aspects of Computer Science (STACS '98), vol.1373, pp.116-127, 1998.

J. Mazoyer, Terrier-« Signals in one-dimensional cellular automata, Theoret. Comp. Sci, vol.217, issue.1, pp.53-80, 1999.

N. Ollinger and G. , Richard-« Four states are enough !, Theoret. Comp. Sci, vol.412, issue.1-2, pp.22-32, 2011.

G. P?un, Rozenberg-« A guide to membrane computing, Theoretical Computer Science, vol.287, issue.1, pp.73-100, 2002.

G. Richard, Systèmes de particules et collisions discrètes dans les automates cellulaires, 2008.

J. Reveillès and D. Richard-«, Back and forth between continuous and discrete for the working computer scientist, Annals of Mathematics and Artificial Intelligence, vol.16, pp.89-152, 1996.

P. Sarkar-«, A brief history of cellular automata, ACM Comput. Surv, vol.32, issue.1, pp.80-107, 2000.

, Modèle géométrique de calcul : fractales et barrières de complexité, 2013.

H. Siegelmann and E. , Sontag-« On the computational power of neural nets », J. Comput. Syst. Sci, vol.50, issue.1, pp.132-150, 1995.

W. , Stevens-« Computing with planar toppling domino arrangements », Unconventional Computation : 10th International Conference, pp.224-233, 2011.

A. M. , Turing-« On computable numbers with an application to the entscheidungsproblem proceedings of the london mathematical society¡, 1936.

, Systems of logic based on ordinals ? », Proceedings of the London Mathematical Society, pp.161-228, 1939.

. Bibliographie,

J. , Neumann-Theory of self-reproducing automata, 1966.

E. Winfree-«, Algorithmic self-assembly of dna », Thèse, California Institute of Technology, 1998.

D. Woods and T. J. , Naughton-« An optical model of computation, Theor. Comput. Sci, vol.334, issue.1-3, pp.227-258, 2005.

J. Yunès-«, Simple new algorithms which solve the firing squad synchronization problem : a 7-states 4n-steps solution, Machine, Computations and Universality (MCU '07) (J. Durand-Lose et M. Margenstern, éds.), pp.316-324, 2007.