Automates infinis, logiques et langages
Cette thèse s'inscrit dans l'étude des graphes infinis de présentation finie. Nous nous intéressons à la fois à leurs propriétés logiques et aux langages qui leur sont associés. Nous nous concentrons sur l'étude des graphes infinis associés aux automates à pile d'ordre supérieur....
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Rennes 1
2006
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00628513 http://tel.archives-ouvertes.fr/docs/00/62/85/13/PDF/Carayol_2006.pdf |