Master Thesis Online
Propriétés décidables des suites automatiques.
Valembois, Quentin 
Promotor(s) :
Rigo, Michel
Date of defense : 28-Jun-2017 • Permalink : http://hdl.handle.net/2268.2/2507
Memoire_Valembois.pdfDetails
| Title : | Propriétés décidables des suites automatiques. |
| Translated title : | [en] Decidable properties of automatic sequences |
| Author : | Valembois, Quentin
|
| Date of defense : | 28-Jun-2017 |
| Advisor(s) : | Rigo, Michel
|
| Committee's member(s) : | Charlier, Emilie
Hansoul, Georges
Nicolay, Samuel
|
| Language : | French |
| Number of pages : | 86 |
| Keywords : | [en] decidable [en] automatic [en] sequence [en] recognizable [en] set [en] Walnut [en] Büchi [en] Bruyère [en] theorem [en] valembois [en] quentin [fr] suites [fr] automatiques [fr] decidable [fr] université [fr] liège |
| Discipline(s) : | Physical, chemical, mathematical & earth Sciences > Mathematics |
| Target public : | Researchers Professionals of domain Student General public |
| Institution(s) : | Université de Liège, Liège, Belgique |
| Degree: | Master en sciences mathématiques, à finalité spécialisée en informatique |
| Faculty: | Master thesis of the Faculté des Sciences |
Abstract
[fr] Nous introduisons dans ce travail les notions élémentaires de la théorie des suites automatiques dans le but de démontrer le théorème de Büchi-Bruyère permettant de caractériser les suites automatiques par une structure de la logique du premier ordre.
En utilisant ce résultat nous expliquons l'algorithmique du programme Walnut qui permet de démontrer automatiquement certaines propriétés des suites automatiques. Nous introduisons également les fonctionnalités du programme et de ses commandes.
Enfin, nous étudions une généralisation du théorème de Büchi-Bruyère nous permettant d'utiliser le programme Walnut pour les systèmes de numération construits sur un nombre de Pisot.
File(s)
Document(s)
Cite this master thesis
All documents available on MatheO are protected by copyright and subject to the usual rules for fair use.
The University of Liège does not guarantee the scientific quality of these students' works or the accuracy of all the information they contain.
The University of Liège does not guarantee the scientific quality of these students' works or the accuracy of all the information they contain.