Arrêt de service lundi 11 juillet de 12h30 à 13h : tous les sites du CCSD (HAL, Epiciences, SciencesConf, AureHAL) seront inaccessibles (branchement réseau à modifier)
Accéder directement au contenu Accéder directement à la navigation
HDR

Propriétés structurelles et calculatoires des pavages

Emmanuel Jeandel 1, 2 
1 ESCAPE - Systèmes complexes, automates et pavages
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Résumé : Les travaux présentés ici s'intéressent aux coloriages du plan discret. Ce modèle d'inspiration géométrique est intrinsèquement lié aux modèles de calcul, et son étude se décline ici suivant deux axes complémentaires: calculabilité et combinatoire. Nous montrons en particulier ici comment de nombreux résultats récents s'expriment naturellement à travers le concept de bases, propriétés vérifiées par au moins un point de tout ensemble de coloriages, et d'antibases, contre-exemples à ce concept. Nous examinons ensuite les différents codages du calcul par des jeux de tuiles et exhibons en particulier un nouveau codage épars, permettant de caractériser les degrés Turing des ensembles de coloriages. Enfin nous revenons aux origines en étudiant les pavages du point de vue de la logique. Nous caractérisons ainsi les grandes familles d'ensembles de coloriages par des fragments de la logique monadique du second ordre.
Type de document :
HDR
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-00653343
Contributeur : Emmanuel Jeandel Connectez-vous pour contacter le contributeur
Soumis le : lundi 19 décembre 2011 - 14:37:12
Dernière modification le : vendredi 22 octobre 2021 - 15:07:35
Archivage à long terme le : : lundi 5 décembre 2016 - 09:35:17

Fichier

Identifiants

  • HAL Id : tel-00653343, version 1

Citation

Emmanuel Jeandel. Propriétés structurelles et calculatoires des pavages. Théorie et langage formel [cs.FL]. Université Montpellier II - Sciences et Techniques du Languedoc, 2011. ⟨tel-00653343⟩

Partager

Métriques

Consultations de la notice

427

Téléchargements de fichiers

754