moteur de recherche

Séminaire Algo - Fabien Durand
Séminaire Algo - Fabien Durand
10-avril-2018 14:30
Il y a: 16 days





Fabien Durand

Décidabilité et suites morphiques

Bâtiment Lavoisier, salle LAV108

Abstract: Dans cet exposé nous présenterons des résultats anciens et nouveaux de décidabilité concernant les suites obtenues comme images de morphismes de points fixes d'endomorphismes, autrement appelées suites morphiques ou suites substitutives. Un exemple classique de telles suites sont les suites automatiques. Nous aborderons la périodicité, l'uniforme récurrence, l'égalité de langages, la factorisation dynamique, ...








<- retour: