Julien Leroy
University of Liège
http://www.discmath.ulg.ac.be/leroy/Home-en.html
Date(s) : 15/01/2021 iCal
14 h 00 min - 15 h 00 min
Dans cet exposé, je présenterai les résultats obtenus dans https://arxiv.org/abs/1806.04891 : étant donnés deux sous-shifts substitutifs minimaux, savoir si l’un est un facteur de l’autre est un problème décidable. Par conséquent, savoir s’ils sont conjugués l’est également. La preuve utilise une processus de renormalisation faisant apparaître des « dill maps » ainsi qu’une variante du processus de dérivation par mots de retours.
Lien Zoom :
Emplacement
FRUMAM, St Charles
Catégories