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...

Full description

Bibliographic Details
Main Author: Samuelides, Mathias
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