Automate cellulaire. Un article de Wikipédia, l'encyclopédie libre. À gauche, une règle locale simple : une cellule passe d'un état (i) au suivant (i+1) dans le cycle d'états dès que i+1 est présent dans au moins 3 cellules voisines. À droite, le résultat (complexe) de l'application répétée de cette règle sur une grille de cellules. Ce type d'automates cellulaires a été découvert par D. Griffeath. Un automate cellulaire consiste en une grille régulière de « cellules » contenant chacune un « état » choisi parmi un ensemble fini et qui peut évoluer au cours du temps. Étudiés en mathématiques et en informatique théorique, les automates cellulaires sont à la fois un modèle de système dynamique discret et un modèle de calcul. Exemples[modifier | modifier le code] Les automates cellulaires les plus simples[modifier | modifier le code] Chacune des cellules pouvant prendre deux états, il existe 23=8 configurations (ou motifs) possibles d'un tel voisinage.
Les automates de cette famille sont dits « élémentaires ». Où : Quantum cellular automata. Quantum Cellular Automata (QCA) refers to models of quantum computation, which have been devised in analogy to conventional models of cellular automata introduced by von Neumann. It may also refer to quantum dot cellular automata, which is a proposed physical implementation of "classical" cellular automata by exploiting quantum mechanical phenomena. QCA has attracted a lot of attention as a result of its extremely small feature size (at the molecular or even atomic scale) and its ultra-low power consumption, making it one candidate for replacing CMOS technology. Usage of the term[edit] In the context of models of computation or of physical systems, quantum cellular automaton refers to the merger of elements of both (1) the study of cellular automata in conventional computer science and (2) the study of quantum information processing.
The computation is considered to come about by parallel operation of multiple computing devices, or cells. Models of QCA[edit] Early proposals[edit] Théorie des automates. Un article de Wikipédia, l'encyclopédie libre. En informatique théorique, l'objectif de la théorie des automates est de proposer des modèles de mécanismes mathématiques qui formalisent les méthodes de calcul[1]. Cette théorie est le fondement de plusieurs branches importantes de l'informatique théorique, comme : Les automates n'ont pas d'existence physique, mais sont un modèle abstrait.
Une façon de voir une machine de Turing. Concepts fondamentaux de la théorie des automates[modifier | modifier le code] Alphabet[modifier | modifier le code] Un alphabet est un ensemble quelconque. Parmi les exemples d'alphabets, il y a bien sûr l’alphabet latin, et tous les alphabets des langues naturelles. Mots ou chaînes[modifier | modifier le code] est une suite finie d'éléments de . L'entier est la longueur du mot. . Et est le mot obtenu par juxtaposition des deux mots.
Un monoïde. Langage formel[modifier | modifier le code] Un langage formel sur un alphabet est un ensemble de mots sur , donc un sous-ensemble de .
Automate cellulaire. La découverte des automates cellulaires.