The structure of orders in the pushdown hierarchy

Résumé : Cette thèse étudie les structures dont la théorie au second ordremonadique est décidable, et en particulier la hiérarchie à pile. Onpeut définir celle-ci comme la hiérarchie pour $n$ des graphesd'automates à piles imbriquées $n$ fois ; une définition externe, partransformations de graphes, est également disponible. Nous nousintéressons à l'exemple des ordinaux. Nous montrons que les ordinauxplus petits que $epsilon_0$ sont dans la hiérarchie, ainsi que des graphesporteurs de plus d'information, que l'on appelle "graphecouvrants''. Nous montrons ensuite l'inverse : tous les ordinaux de lahiérarchie sont plus petits que $epsilon_0$. Ce résultat utilise le fait queles ordres d'un niveau sont en fait isomorphes aux structures desfeuilles des arbres déterministes dans l'ordre lexicographique, aumême niveau. Plus généralement, nous obtenons une caractérisation desordres linéaires dispersés dans la hiérarchie. Dans un troisièmetemps, nous resserons l'intérêt aux ordres de type $omega$ --- les mots infinis --- pour montrer que les mots du niveau 2 sont les motsmorphiques, ce qui nous amène à une nouvelle extension au niveau 3
Type de document :
Thèse
Modeling and Simulation. Université Paris-Est, 2010. English. <NNT : 2010PEST1009>
Liste complète des métadonnées

https://pastel.archives-ouvertes.fr/tel-00587409
Contributeur : Abes Star <>
Soumis le : mercredi 20 avril 2011 - 12:34:06
Dernière modification le : samedi 25 juin 2016 - 01:01:15
Document(s) archivé(s) le : jeudi 8 novembre 2012 - 16:55:37

Fichier

TH2010PEST1009_diffusion.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-00587409, version 1

Citation

Laurent Braud. The structure of orders in the pushdown hierarchy. Modeling and Simulation. Université Paris-Est, 2010. English. <NNT : 2010PEST1009>. <tel-00587409>

Partager

Métriques

Consultations de
la notice

286

Téléchargements du document

166