Posts classified under: Amacc

The study of Turing machines as dynamical systems carried several questions that were not considered before, as the question of the existence of an «aperiodicity», finally solved by the very particular machine called SMART. Combined with other techniques, this machine opened the door for a series of new findings. In this talk we will recall … Continue reading Séminaire Algorithmique : « Turing machine dynamics and the SMART machine », Anahi Gajardo (Univ. Conception, Chili)

Vous développez pour un logiciel de gestions de versions, tel Mercurial ou Git ? Et en plus vous aimeriez avoir un moyen de tester vos programmes via des graphes de projet tirés aléatoirement ? Incroyable, cet exposé est fait pour vous ! (et bravo d'exister.) Nous nous intéressons ici à une famille de graphes qui … Continue reading Séminaire Algorithmique : « Génération aléatoire des graphes de Git », Julien Courtiel (GREYC)

Les sous-shifts au langage stable forment une classe de sous-shifts qui a été récemment introduite par V. Cyr et B. Kra. Cette famille contient de nombreux exemples classiques de sous-shifts, de diverses complexités allant des systèmes d’entropie strictement positive, comme les sous-shifts de type fini, aux systèmes de faible complexité, comme les sous-shifts de complexité … Continue reading Séminiare Algorithmique « Sous-shifts au langage stable », Samuel Petite (LAMFA, Univ. Picardie)