Le jeudi 25 novembre de 14h à 17h30 et le vendredi 26 novembre de 9h à 16h30, à l'Amphi Lebesgue de l'IRMAR.

Boris Adamczewski (CNRS, Marseille)

Automates finis, arithmétique et équations fonctionnelles

Parmi les suites infinies à valeurs dans un ensemble fini, ou parmi les ensembles d'entiers naturels, certains sont très réguliers comme les suites périodiques ou les progressions arithmétiques, tandis que d'autres, tels que les suites et les ensembles aléatoires, ne peuvent être décrits de façon simple. Les automates finis forment une classe de machines de Turing particulièrement rudimentaires qui joue un rôle important en informatique. En théorie des nombres, ces machines sont utilisées pour définir des suites et des ensembles dits « automatiques ». Un des principaux intérêts de ces structures automatiques est qu'elles jouissent d une forte régularité sans pour autant être triviales. Elles se situent ainsi quelque part entre ordre et chaos, même si, par bien des aspects, leur régularité prévaut. Cette caractéristique conduit à de nombreuses applications de la théorie des automates finis à la théorie des nombres.

Le but de ce mini-cours est de présenter de telles applications en insistant sur le fait que les séries génératrices associées aux suites ou aux ensembles automatiques satisfont à des équations fonctionnelles particulières, appelées équations mahlériennes.

Mireille Bousquet-Mélou (CNRS, Bordeaux)

Marches au hasard dans des cônes: dénombrement et complexité

Jeudi 25 Novembre 2021: 14h-15h : Mireille Bousquet-Melou 15h15-16h15: Boris Adamczewski 16h15-16h30: Pause-café 16h30-17h30: Mireille Bousquet-Melou

Vendredi 26 Novembre 2021: 9h00-10h00: Boris Adamczewski 10h00-10h20: Pause-café 10h20-11h20: Mireille Bousquet-Melou 11h30-12h30: Boris Adamczewski 12h30-14h00: Déjeuner 14h00-15h00: Boris Adamczewski 15h15-16h15: Mireille Bousquet-Melou