16 research outputs found

    A compact topology for sand automata

    No full text
    In this paper, we exhibit a strong relation between the sand automata configuration space and the cellular automata configuration space. This relation induces a compact topology for sand automata, and a new context in which sand automata are homeomorphic to cellular automata acting on a specific subshift. We show that the existing topological results for sand automata, including the Hedlund-like representation theorem, still hold. In this context, we give a characterization of the cellular automata which are sand automata, and study some dynamical behaviors such as equicontinuity. Furthermore, we deal with the nilpotency. We show that the classical definition is not meaningful for sand automata. Then, we introduce a suitable new notion of nilpotency for sand automata. Finally, we prove that this simple dynamical behavior is undecidable

    Subshifts with Simple Cellular Automata

    Get PDF
    A subshift is a set of infinite one- or two-way sequences over a fixed finite set, defined by a set of forbidden patterns. In this thesis, we study subshifts in the topological setting, where the natural morphisms between them are ones defined by a (spatially uniform) local rule. Endomorphisms of subshifts are called cellular automata, and we call the set of cellular automata on a subshift its endomorphism monoid. It is known that the set of all sequences (the full shift) allows cellular automata with complex dynamical and computational properties. We are interested in subshifts that do not support such cellular automata. In particular, we study countable subshifts, minimal subshifts and subshifts with additional universal algebraic structure that cellular automata need to respect, and investigate certain criteria of ‘simplicity’ of the endomorphism monoid, for each of them. In the case of countable subshifts, we concentrate on countable sofic shifts, that is, countable subshifts defined by a finite state automaton. We develop some general tools for studying cellular automata on such subshifts, and show that nilpotency and periodicity of cellular automata are decidable properties, and positive expansivity is impossible. Nevertheless, we also prove various undecidability results, by simulating counter machines with cellular automata. We prove that minimal subshifts generated by primitive Pisot substitutions only support virtually cyclic automorphism groups, and give an example of a Toeplitz subshift whose automorphism group is not finitely generated. In the algebraic setting, we study the centralizers of CA, and group and lattice homomorphic CA. In particular, we obtain results about centralizers of symbol permutations and bipermutive CA, and their connections with group structures.Siirretty Doriast

    Programmation et indécidabilités dans les systèmes complexes

    No full text
    N/AUn système complexe est un système constitué d'un ensemble d'entités quiinteragissent localement, engendrant des comportements globaux, émergeant dusystème, qu'on ne sait pas expliquer à partir du comportement local, connu, desentités qui le constituent. Nos travaux ont pour objet de mieux cerner lesliens entre certaines propriétés des systèmes complexes et le calcul. Parcalcul, il faut entendre l'objet d'étude de l'informatique, c'est-à-dire ledéplacement et la combinaison d'informations. À l'aide d'outils issus del'informatique, l'algorithmique et la programmation dans les systèmes complexessont abordées selon trois points de vue. Une première forme de programmation,dite externe, consiste à développer l'algorithmique qui permet de simuler lessystèmes étudiés. Une seconde forme de programmation, dite interne, consiste àdévelopper l'algorithmique propre à ces systèmes, qui permet de construire desreprésentants de ces systèmes qui exhibent des comportements programmés. Enfin,une troisième forme de programmation, de réduction, consiste à plonger despropriétés calculatoires complexes dans les représentants de ces systèmes pourétablir des résultats d'indécidabilité -- indice d'une grande complexitécalculatoire qui participe à l'explication de la complexité émergente. Afin demener à bien cette étude, les systèmes complexes sont modélisés par desautomates cellulaires. Le modèle des automates cellulaires offre une dualitépertinente pour établir des liens entre complexité des propriétés globales etcalcul. En effet, un automate cellulaire peut être décrit à la fois comme unréseau d'automates, offrant un point de vue familier de l'informatique, etcomme un système dynamique discret, une fonction définie sur un espacetopologique, offrant un point de vue familier de l'étude des systèmesdynamiques discrets.Une première partie de nos travaux concerne l'étude de l'objet automatecellulaire proprement dit. L'observation expérimentale des automatescellulaires distingue, dans la littérature, deux formes de dynamiques complexesdominantes. Certains automates cellulaires présentent une dynamique danslaquelle émergent des structures simples, sortes de particules qui évoluentdans un domaine régulier, se rencontrent lors de brèves collisions, avant degénérer d'autres particules. Cette forme de complexité, dans laquelletransparaît une notion de quanta d'information localisée en interaction, estl'objet de nos études. Un premier champ de nos investigations est d'établir uneclassification algébrique, le groupage, qui tend à rendre compte de ce type decomportement. Cette classification met à jour un type d'automate cellulaireparticulier : les automates cellulaires intrinsèquement universels. Un automatecellulaire intrinsèquement universel est capable de simuler le comportement detout automate cellulaire. C'est l'objet de notre second champ d'investigation.Nous caractérisons cette propriété et démontrons son indécidabilité. Enfin, untroisième champ d'investigation concerne l'algorithmique des automatescellulaires à particules et collisions. Étant donné un ensemble de particuleset de collisions d'un tel automate cellulaire, nous étudions l'ensemble desinteractions possibles et proposons des outils pour une meilleure programmationinterne à l'aide de ces collisions.Une seconde partie de nos travaux concerne la programmation par réduction. Afinde démontrer l'indécidabilité de propriétés dynamiques des automatescellulaires, nous étudions d'une part les problèmes de pavage du plan par desjeux de tuiles finis et d'autre part les problèmes de mortalité et depériodicité dans les systèmes dynamiques discrets à fonction partielle. Cetteétude nous amène à considérer des objets qui possèdent la même dualité entredescription combinatoire et topologique que les automates cellulaires. Unenotion d'apériodicité joue un rôle central dans l'indécidabilité des propriétésde ces objets

    Proceedings of JAC 2010. Journées Automates Cellulaires

    Get PDF
    The second Symposium on Cellular Automata “Journ´ees Automates Cellulaires” (JAC 2010) took place in Turku, Finland, on December 15-17, 2010. The first two conference days were held in the Educarium building of the University of Turku, while the talks of the third day were given onboard passenger ferry boats in the beautiful Turku archipelago, along the route Turku–Mariehamn–Turku. The conference was organized by FUNDIM, the Fundamentals of Computing and Discrete Mathematics research center at the mathematics department of the University of Turku. The program of the conference included 17 submitted papers that were selected by the international program committee, based on three peer reviews of each paper. These papers form the core of these proceedings. I want to thank the members of the program committee and the external referees for the excellent work that have done in choosing the papers to be presented in the conference. In addition to the submitted papers, the program of JAC 2010 included four distinguished invited speakers: Michel Coornaert (Universit´e de Strasbourg, France), Bruno Durand (Universit´e de Provence, Marseille, France), Dora Giammarresi (Universit` a di Roma Tor Vergata, Italy) and Martin Kutrib (Universit¨at Gie_en, Germany). I sincerely thank the invited speakers for accepting our invitation to come and give a plenary talk in the conference. The invited talk by Bruno Durand was eventually given by his co-author Alexander Shen, and I thank him for accepting to make the presentation with a short notice. Abstracts or extended abstracts of the invited presentations appear in the first part of this volume. The program also included several informal presentations describing very recent developments and ongoing research projects. I wish to thank all the speakers for their contribution to the success of the symposium. I also would like to thank the sponsors and our collaborators: the Finnish Academy of Science and Letters, the French National Research Agency project EMC (ANR-09-BLAN-0164), Turku Centre for Computer Science, the University of Turku, and Centro Hotel. Finally, I sincerely thank the members of the local organizing committee for making the conference possible. These proceedings are published both in an electronic format and in print. The electronic proceedings are available on the electronic repository HAL, managed by several French research agencies. The printed version is published in the general publications series of TUCS, Turku Centre for Computer Science. We thank both HAL and TUCS for accepting to publish the proceedings.Siirretty Doriast

    Proceedings of AUTOMATA 2011 : 17th International Workshop on Cellular Automata and Discrete Complex Systems

    Get PDF
    International audienceThe proceedings contain full (reviewed) papers and short (non reviewed) papers that were presented at the workshop

    On some one-sided dynamics of cellular automata

    Get PDF
    A dynamical system consists of a space of all possible world states and a transformation of said space. Cellular automata are dynamical systems where the space is a set of one- or two-way infinite symbol sequences and the transformation is defined by a homogenous local rule. In the setting of cellular automata, the geometry of the underlying space allows one to define one-sided variants of some dynamical properties; this thesis considers some such one-sided dynamics of cellular automata. One main topic are the dynamical concepts of expansivity and that of pseudo-orbit tracing property. Expansivity is a strong form of sensitivity to the initial conditions while pseudo-orbit tracing property is a type of approximability. For cellular automata we define one-sided variants of both of these concepts. We give some examples of cellular automata with these properties and prove, for example, that right-expansive cellular automata are chain-mixing. We also show that left-sided pseudo-orbit tracing property together with right-sided expansivity imply that a cellular automaton has the pseudo-orbit tracing property. Another main topic is conjugacy. Two dynamical systems are conjugate if, in a dynamical sense, they are the same system. We show that for one-sided cellular automata conjugacy is undecidable. In fact the result is stronger and shows that the relations of being a factor or a susbsystem are undecidable, too

    Proceedings of AUTOMATA 2010: 16th International workshop on cellular automata and discrete complex systems

    Get PDF
    International audienceThese local proceedings hold the papers of two catgeories: (a) Short, non-reviewed papers (b) Full paper

    Dynamical systems via domains:Toward a unified foundation of symbolic and non-symbolic computation

    Get PDF
    Non-symbolic computation (as, e.g., in biological and artificial neural networks) is astonishingly good at learning and processing noisy real-world data. However, it lacks the kind of understanding we have of symbolic computation (as, e.g., specified by programming languages). Just like symbolic computation, also non-symbolic computation needs a semantics—or behavior description—to achieve structural understanding. Domain theory has provided this for symbolic computation, and this thesis is about extending it to non-symbolic computation. Symbolic and non-symbolic computation can be described in a unified framework as state-discrete and state-continuous dynamical systems, respectively. So we need a semantics for dynamical systems: assigning to a dynamical system a domain—i.e., a certain mathematical structure—describing the system’s behavior. In part 1 of the thesis, we provide this domain-theoretic semantics for the ‘symbolic’ state-discrete systems (i.e., labeled transition systems). And in part 2, we do this for the ‘non-symbolic’ state-continuous systems (known from ergodic theory). This is a proper semantics in that the constructions form functors (in the sense of category theory) and, once appropriately formulated, even adjunctions and, stronger yet, equivalences. In part 3, we explore how this semantics relates the two types of computation. It suggests that non-symbolic computation is the limit of symbolic computation (in the ‘profinite’ sense). Conversely, if the system’s behavior is fairly stable, it may be described as realizing symbolic computation (here the concepts of ergodicity and algorithmic randomness are useful). However, the underlying concept of stability is limited by a no-go result due to a novel interpretation of Fitch’s paradox. This also has implications for AI-safety and, more generally, suggests fruitful applications of philosophical tools in the non-symbolic computation of modern AI
    corecore