Etude topologique de fonctions définissables par automates
L'objet de cette thèse est l'étude de la complexité topologique de fonctions omega-rationnelles : fonctions de mots infinis dont le graphe est reconnaissable par automate fini. Le cadre de notre étude est celui de la hiérarchie des boréliens et des classes de Baire. On remarque tout d'...
Main Author: | |
---|---|
Language: | FRE |
Published: |
Université Pascal Paoli
2008
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00604017 http://tel.archives-ouvertes.fr/docs/00/60/40/17/PDF/Etude_topologique_de_fonctions_dA_finissables_par_automates.pdf |