Feedback

Faculté des Sciences
Faculté des Sciences
MASTER THESIS
VIEW 135 | DOWNLOAD 30

Propriétés décidables des suites automatiques.

Download
Valembois, Quentin ULiège
Promotor(s) : Rigo, Michel ULiège
Date of defense : 28-Jun-2017 • Permalink : http://hdl.handle.net/2268.2/2507
Details
Title : Propriétés décidables des suites automatiques.
Translated title : [en] Decidable properties of automatic sequences
Author : Valembois, Quentin ULiège
Date of defense  : 28-Jun-2017
Advisor(s) : Rigo, Michel ULiège
Committee's member(s) : Charlier, Emilie ULiège
Hansoul, Georges ULiège
Nicolay, Samuel ULiège
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)

File
Access Memoire_Valembois.pdf
Description:
Size: 1.16 MB
Format: Adobe PDF

Author

  • Valembois, Quentin ULiège Université de Liège > Master sc. math., à fin.

Promotor(s)

Committee's member(s)

  • Total number of views 135
  • Total number of downloads 30










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.