 |
Laboratoire d'informatique fondamentale de Marseille UMR 6166 - CNRS, Université de la Méditerranée, Université de Provence |
 |
|
Laboratoire d'informatique fondamentale de Marseille UMR 6166 - CNRS, Université de la Méditerranée, Université de Provence |
|
| HAL : hal-00204625, version 2 |
| Fiche détaillée |  Récupérer au format |
 |
| Versions disponibles : | v1 (15-01-2008) | v2 (03-03-2008) |
|
|
|
|
| Two-by-two Substitution Systems and the Undecidability of the Domino Problem |
|
|
| Nicolas Ollinger 1 |
|
|
| (14/01/2008) |
|
|
|
| Thanks to a careful study of elementary properties of two-by-two substitution systems, we give a complete self-contained elementary construction of an aperiodic tile set and sketch how to use this tile set to elementary prove the undecidability of the classical Domino Problem. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'informatique Fondamentale de Marseille (LIF) |
|
|
|
CNRS : UMR6166 – Université de la Méditerranée - Aix-Marseille II – Université de Provence - Aix-Marseille I |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Mathématique discrète |
|
|
| aperiodic tile sets – formal languages – tilings – undecidability |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00204625, version 2 | |
| http://hal.archives-ouvertes.fr/hal-00204625 | |
| oai:hal.archives-ouvertes.fr:hal-00204625 | |
| Contributeur : Nicolas Ollinger | |
| Soumis le : Lundi 3 Mars 2008, 12:07:18 | |
| Dernière modification le : Lundi 3 Mars 2008, 13:17:00 | |
