http://www.lirmm.fr/~poupet/
e-mail: victor.poupet [at] lirmm.fr

Enseignement : Automates cellulaires (1er semestre 2007 - 2008)

Quelques documents liés au cours de M2 recherche à l'université de Provence.

DRACONIS INFERNVS II - deligaris

Supports de cours

Cours n°4

Indécidabilité de l'injectivité et de la surjectivité en dimension 2 à partir de l'indécidabilité du pavage du plan par des tuiles de Wang. Je me suis appuyé pour ce cours sur les transparents de Nicolas Ollinger : 104 tiles et Pavages : de l'apériodicité à l'indécidabilité

Cours n°6 [pdf]

Reconnaissance de langages sur automates cellulaires. Quelques techniques élémentaires, théorèmes d'accélération constante et linéaire, théorème d'Ibarra.

Valid XHTML 1.0 Transitional Valid CSS! Valid Konami!