SFT 2D avec indéterminisme borné ou contrôlé : une Zoologie en lisère du Marais
1 : Institut de Mathématiques de Marseille
Aix Marseille Université, Ecole Centrale de Marseille, Centre National de la Recherche Scientifique, Centre National de la Recherche Scientifique : UMR7373, Ecole Centrale de Marseille : UMR7373, Aix Marseille Université : UMR7373
Les sous-décalages de type fini bidimensionnels sont un modèle de calcul Turing-puissant.
Nous explorerons certaines conditions suffisantes qui les rendent simples calculatoirement, en partant de leur ressemblance directionnelle avec des diagrammes espace-temps d'automates cellulaires.
Issu de travaux en cours ou discussions avec V.Salo, I.Törmä, J.Kari, Ch.Zinoviadis, S.Gangloff, P.Oprocha, I.Galanov, N.Bédaride, Th.Fernique, G.Theyssier, S.Barbieri...