Complexity of pebble tree-walking automata - Université Paris Cité Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Complexity of pebble tree-walking automata

Résumé

We consider tree-walking automata using k pebbles. The pebbles are either strong (can be lifted from anywhere) or weak (can be lifted only when the automaton is on it). For each k, we give the precise complexities of the problems of emptiness and of inclusion of tree-walking automata using k pebbles.
Fichier principal
Vignette du fichier
fct-final.pdf (148.85 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00158716 , version 1 (29-06-2007)

Identifiants

  • HAL Id : hal-00158716 , version 1

Citer

Mathias Samuelides, Luc Segoufin. Complexity of pebble tree-walking automata. 16th International Symposium on Fundamentals of Computation Theory, Aug 2007, Budapest, Hungary. ⟨hal-00158716⟩
202 Consultations
121 Téléchargements

Partager

Gmail Facebook X LinkedIn More