BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen - ECPv5.7.0//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen
X-ORIGINAL-URL:https://www.greyc.fr
X-WR-CALDESC:évènements pour GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20231029T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20230530T100000
DTEND;TZID=Europe/Paris:20230530T110000
DTSTAMP:20260423T092420
CREATED:20230509T112937Z
LAST-MODIFIED:20230523T073155Z
UID:11200-1685440800-1685444400@www.greyc.fr
SUMMARY:Séminaire Algorithmique : Pierre Béaur (LISN\, Université Paris-Saclay) « Walking On a Line: détection de marches S-adiques dans les  ω-automates »
DESCRIPTION:En dynamique symbolique s’intersectent études des langages\, des mots infinis et des structures dynamiques associées. Deux méthodes classiques de construction de ces objets coexistent. D’abord\, la méthode de Thue construit un mot infini à l’aide d’une substitution (un morphisme de mots) : on itère la substitution sur une lettre initiale\, et on considère le mot limite obtenu. Cette approche substitutive a été généralisée en autorisant l’utilisation de plusieurs substitutions\, ce qui conduit à la notion de représentation S-adique. La seconde méthode pour générer des structures symboliques est de considérer les marches infinies sur un graphe étiqueté (ou ω-automate). Dans cette présentation\, je considère des questions de décidabilité au croisement de ces deux points de vue : étant donné un ω-automate et un ensemble de substitutions\, j’étudie l’ensemble des mots acceptés par l’ω-automate et défini par les substitutions\, sa structure et sa vacuité.
URL:https://www.greyc.fr/event/seminaire-algorithmique-pierre-beaur-lisn-universite-paris-saclay/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,Séminaire Algo
END:VEVENT
END:VCALENDAR