Machines à signaux: origine, puissance, retour au raisonnable
Résumé
L'exposé commencera par montrer la présence et l'utilisation de signaux dans les automates cellulaires et le désir de s'affranchir de la lourdeur du discret. Dans un second temps, nous montrons la puissance du modèle en montrant comment résoudre QSAT de façon générique. Enfin dans un troisième temps, nous essaierons de nous éloigner de l'utopie d'un espace et d'un temps continus et re-découpable ad infinitum en tentant de discrétiser automatiquement (grace à la pré-topologie).