The structure of orders in the pushdown hierarchy
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...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
Université Paris-Est
2010
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00587409 http://tel.archives-ouvertes.fr/docs/00/58/74/09/PDF/TH2010PEST1009_diffusion.pdf |