Automates d'arbres à jetons
Le sujet porte sur l'étude de deux modèles d'automates à jetons sur des arbres binaires finis étiquetés par un alphabet fini. Ces automates séquentiels se déplacent le long des arêtes et peuvent utiliser un nombre fixé de jetons pour se repérer dans un arbre. Une discipline de pile est imp...
Main Author: | |
---|---|
Language: | FRE |
Published: |
Université Paris-Diderot - Paris VII
2007
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00255024 http://tel.archives-ouvertes.fr/docs/00/25/50/24/PDF/These-corrigee-24-01-08.pdf |