Propriétés structurelles et calculatoires des pavages - TEL - Thèses en ligne Accéder directement au contenu
Hdr Année : 2011

Structural and computational properties of tilings

Propriétés structurelles et calculatoires des pavages

Résumé

Colorings of the discrete plane (i.e., tilings) are a geometrical model which is intimately linked with computability theory. We show in this manuscript how many recent results in tiling theory can be unified through the concept of basis and antibasis: A property P is a basis if any tiling space contains a point with property P. We then discuss the various ways to encode computation in tilings. We introduce a new encoding that gave a sparse grid, and explain how to characterize Turing degrees of tilings using this grid. Finally we discuss tilings for the point of view of model theory. We characterize various important classes of tilings by logical fragments of monadic second order theory
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.
Fichier principal
Vignette du fichier
texte.pdf (1.28 Mo) Télécharger le fichier

Dates et versions

tel-00653343 , version 1 (19-12-2011)

Identifiants

  • HAL Id : tel-00653343 , version 1

Citer

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⟩
458 Consultations
870 Téléchargements

Partager

Gmail Facebook X LinkedIn More