Université de Liège Réseau des Bibliothèques

BICTEL/e - ULg
Serveur institutionnel des thèses de doctorat



Nouvelles thèses
dans BICTEL/e - ULg
  • Wislez, Arnaud - Molecular interactions of bioadhesive-inspired species with inorganic surfaces/Interactions moléculaires de composés bio-inspirés avec des surfaces inorganiques
  • Esser, Céline - Regularity of functions: Genericity and multifractal analysis
  • Dupont, Josselin - "L’émergence d’une politique foncière régionale en Bretagne : de l’identification des enjeux à la création d’un Etablissement public foncier d’Etat/The emergence of a regional land policy in Brittany: from issues identification to the creation of a State Établissement public foncier".
Présentation Recherche thèse Dépôt thèse Accès
gestionnaires
 
Page de résumé pour ULgetd-12162009-173757

Auteur : Charlier, Emilie
E-mail de l'auteur : echarlier@ulg.ac.be
URN : ULgetd-12162009-173757
Langue : Français/French
Titre : Abstract Numeration Systems: Recognizability, Decidability, Multidimensional S-Automatic Words, and Real Numbers
Intitulé du diplôme : Doctorat en sciences
Département : FS - Département de mathématique
Jury :
Nom : Titre :
Berthe, V. Membre du jury/Committee Member
Boigelot, B. Membre du jury/Committee Member
Hansoul, G. Membre du jury/Committee Member
Sakarovitch, J. Membre du jury/Committee Member
Lecomte, P. Président du jury/Committee Chair
Rigo, M. Promoteur/Director
Mots-clés :
  • multidimensional non-uniform morphisms/morphismes non-uniformes multidimensionnels
  • generalized multidimensional automatic sequences/suites automatiques généralisées multidimensionnell
  • arithmetic operations/opérations arithmétiques
  • recognizable sets of numbers/ensembles de nombres reconnaissables
  • formal language theory/théorie des langages formels
  • numeration systems/numérations
  • automata/automates
  • real numbers/nombres réels
  • p-adic numbers/nombres p-adiques.
  • linear recurrence sequences/suites linéaires récurrentes
  • combinatorics on words/combinatoire des mots
Date de soutenance : 2009-12-07
Type d'accès : Public/Internet
Résumé :

In this doctoral dissertation, we studied and solved several questions regarding positional and abstract numeration systems. Each particular problem is the focus of a chapter. The first problem concerns the study of the preservation of recognizability under multiplication by a constant in abstract numeration systems built on polynomial regular languages. We obtained several results generalizing those from P. Lecomte and M. Rigo. The second problem we considered is a decidability problem, which was already studied, most notably, by J. Honkala and A. Muchnik. For our part, we studied this problem for two new cases: the linear positional numeration systems and the abstract numeration systems. Next, we focused on the extension to the multidimensional setting of a result of A. Maes and M.~Rigo regarding S-automatic infinite words. We obtained a characterization of multidimensional S-automatic words in terms of multidimensional (non-necessarily uniform) morphisms. This result can be viewed as the analogous of O. Salon's extension of a theorem of A. Cobham. Finally, generalizing results of P. Lecomte and M. Rigo, we proposed a formalism to represent real numbers in the general framework of abstract numeration systems built on languages that are not necessarily regular. This formalism encompasses in particular the rational base numeration systems, which have been recently introduced by S. Akiyama, Ch. Frougny, and J. Sakarovitch. Finally, we ended with a list of open questions in the continuation of this work./Dans cette dissertation, nous étudions et résolvons plusieurs questions autour des systèmes de numération abstraits. Chaque problème étudié fait l'objet d'un chapitre. Le premier concerne l'étude de la conservation de la reconnaissabilité par la multiplication par une constante dans des systèmes de numération abstraits construits sur des langages réguliers polynomiaux. Nous avons obtenus plusieurs résultats intéressants généralisant ceux de P. Lecomte et M. Rigo. Le deuxième problème auquel je me suis intéressée est un problème de décidabilité déjà étudié notamment par J. Honkala et A. Muchnik et ici décliné en deux nouvelles versions : les systèmes de numération de position linéaires et les systèmes de numération abstraits. Ensuite, nous nous penchons sur l'extension au cas multidimensionnel d'un résultat d'A. Maes et de M. Rigo à propos des mots infinis S-automatiques. Nous avons obtenu une caractérisation des mots S-automatiques multidimensionnels en termes de morphismes multidimensionnels (non nécessairement uniformes). Ce résultat peut être vu comme un analogue de l'extension obtenue par O. Salon d'un théorème de A. Cobham. Finalement, nous proposons un formalisme de la représentation des nombres réels dans le cadre général des systèmes de numération abstraits basés sur des langages qui ne sont pas nécessairement réguliers. Ce formalisme englobe notamment le cas des numérations en bases rationnelles introduits récemment par S. Akiyama, Ch. Frougny et J. Sakarovitch. Nous terminons par une liste de questions ouvertes dans la continuité de ce travail.

Autre version : http://www.discmath.ulg.ac.be/publi.html
Fichiers :
Nom du fichier Taille Temps de chargement évalué (HH:MI:SS)
Modem 56K ADSL
[Public/Internet] mathese.pdf 1.28 Mb 00:03:02 00:00:06

Bien que le maximum ait été fait pour que les droits des ayants-droits soient respectés, si un de ceux-ci constatait qu'une oeuvre sur laquelle il a des droits a été utilisée dans BICTEL/e ULg sans son autorisation explicite, il est invité à prendre contact le plus rapidement possible avec la Direction du Réseau des Bibliothèques.


Parcourir BICTEL/e par Auteur|Département | Rechercher dans BICTEL/e


© Réseau des Bibliothèques de l'ULg, Grande traverse, 12 B37 4000 LIEGE