BEGIN:VCALENDAR VERSION:2.0 PRODID:-//wp-events-plugin.com//7.2.3.1//EN TZID:Europe/Paris X-WR-TIMEZONE:Europe/Paris BEGIN:VEVENT UID:6434@i2m.univ-amu.fr DTSTART;TZID=Europe/Paris:20210427T110000 DTEND;TZID=Europe/Paris:20210427T120000 DTSTAMP:20241120T201431Z URL:https://www.i2m.univ-amu.fr/evenements/une-methode-de-programmation-pa rallele-dune-formule-logique-a-un-programme-dautomate-cellulaire/ SUMMARY:Théo Grente (GREYC\, Université de Caen Normandie): Une méthode de programmation parallèle : d'une formule logique à un programme d'auto mate cellulaire DESCRIPTION:Théo Grente: Les automates cellulaires constituent le modèle de calcul parallèle et local par excellence. Ainsi\, on peut trouver dans la littérature de nombreux algorithmes sur ce modèle de calcul. Ces alg orithmes sont souvent décrits sous la forme de signaux et collisions\, sa ns détailler le programme de l'automate cellulaire qui en résulte.\nJe p résenterai dans cette exposé une méthode permettant d'obtenir ce progra mme de manière automatique. Cette méthode consiste dans un premier temps à programmer en logique l'induction résolvant un problème (par exemple \, un schéma de signaux et collisions)\, puis dans un second temps\, à a ppliquer un processus automatique aboutissant au programme de l'automate c ellulaire résolvant ce problème.\nEn plus de cette méthode\, je présen terai aussi les caractérisations logiques de chacune des trois classes de complexité en temps minimal des automates cellulaires obtenues par celle -ci\, en m'attardant sur la plus générale.\nEnfin\, si le temps me le pe rmet\, j'aborderai un résultat de reconnaissance des langages conjonctifs (une extension des langages algébriques) obtenu par notre méthode de pr ogrammation par la logique.\nA parallel programming method: from a logical formula to a cellular automaton program\nCellular automata constitute the ultimate model of parallel and local computation. Thus\, one can find in the literature many algorithms on this computational model. These algorith ms are often described in the form of signals and collisions\, without det ailing the resulting cellular automaton program. I will present in this ta lk a method to obtain this program automatically. This method consists in a first step in programming in logic the induction solving a problem (for example\, a diagram of signals and collisions)\, then in a second step\, i n applying an automatic process resulting in the program of the cellular a utomaton solving this problem.\nIn addition to this method\, i will also p resent the logical characterizations of each of the three classes of compl exity in minimal time of cellular automata obtained by this one\, while dw elling on the most general one. Finally\, if time permits\, i will discuss a result of recognition of connective languages ​​(an extension of al gebraic languages) obtained by our method of programming by logic.\nhttps: //tel.archives-ouvertes.fr/tel-03093951\n Lien zoom :\nhttps://univ-amu-fr .zoom.us/j/98106380073?pwd=ZUtnMWdhZjJpdmc3czZmcS8xSkEydz09\n \; CATEGORIES:Séminaire,Ernest,Hybrid LOCATION:I2M Luminy - TPR2\, Salle de Séminaire 304-306 (3ème étage)\, 1 63 Avenue de Luminy\, Marseille\, 13009\, France X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=163 Avenue de Luminy\, Mars eille\, 13009\, France;X-APPLE-RADIUS=100;X-TITLE=I2M Luminy - TPR2\, Sall e de Séminaire 304-306 (3ème étage):geo:0,0 END:VEVENT BEGIN:VTIMEZONE TZID:Europe/Paris X-LIC-LOCATION:Europe/Paris BEGIN:DAYLIGHT DTSTART:20210328T030000 TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST END:DAYLIGHT END:VTIMEZONE END:VCALENDAR