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
  • Stiepen, Arnaud - Dynamics and compisition of Mars and Venus upper atmospheres observed by the ultraviolet spectrographs on board Mars Express and Venus Express/ Dynamique et composition des atmosphères supérieures de Mars et Vénus observées par les spectrographes ultraviolets à bord de Mars Express et Vénus Express
  • Collignon, Amandine - Abondance et variabilité des méduses en Baie de Calvi (Corse)
  • Hermans, Thomas - Integration of near-surface geophysical, geological and hydrogeological data with multiple-point geostatistics in alluvial aquifers
Présentation Recherche thèse Dépôt thèse Accès
gestionnaires
 
Page de résumé pour ULgetd-01042010-104747

Auteur : Waxweiler, Laurent
E-mail de l'auteur : L.Waxweiler@ulg.ac.be
URN : ULgetd-01042010-104747
Langue : Français/French
Titre : Caractère reconnaissable d’ensembles de polynômes à coefficients dans un corps fini
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
Beth, A. Membre du jury/Committee Member
Hansoul, G. Membre du jury/Committee Member
Lecomte, P. Promoteur/Director
Rigo, M. Promoteur/Director
Mots-clés :
  • automate fini déterministe
  • P-reconnaissable
  • définissable
  • reconnaissable
  • théorème de Cobham
  • ensemble syndétique
  • P-définissable
  • P-noyau fini
  • suite automatique
  • suite P-automatique
  • multiplication (P-Q)-définissable
  • polynôme
  • corps fini
Date de soutenance : 2009-12-11
Type d'accès : Public/Internet
Résumé :

Nous nous plaçons dans le cadre de l'anneau des polynômes sur un corps fini. Si P est un polynôme de degré au moins 1, tout polynôme Q se décompose de manière unique sous la forme d'une combinaison linéaire de puissances de P, dont les coefficients sont des polynômes dont le degré est strictement inférieur à celui de P. À une telle décomposition, nous associons un mot que nous appelons la P-représentation du polynôme Q. Un ensemble de polynômes est alors qualifié de P-reconnaissable si il existe un automate fini déterministe qui accepte l'ensemble des P-représentations de ses éléments.

Dans cette thèse, nous montrons que les ensembles P-reconnaissables sont exactement ceux qui sont définissables par une formule du premier ordre dans une certaine structure S(P) basée sur un prédicat dépendant du polynôme P. Nous donnons aussi une caractérisation des ensembles P-reconnaissables en terme de suites P-automatiques. Nous apportons également une réponse partielle à la question de savoir quels sont les ensembles reconnaissables simultanément dans toutes les bases de degré au moins 1. Finalement, nous montrons que si P et Q sont deux polynômes de degré au moins 1 et multiplicativement indépendants, alors la multiplication est définissable dans la réunion des structures S(P) et S(Q).

Autre version :
Fichiers :
Nom du fichier Taille Temps de chargement évalué (HH:MI:SS)
Modem 56K ADSL
[Public/Internet] TheseWaxweilerLaurent.pdf 903.51 Kb 00:02:09 00:00:04

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