Skip to Main content Skip to Navigation

Automates d'arbres à jetons

Abstract : Two variants of pebble tree-walking automata on binary trees are considered that were introduced in the literature.
For the deterministic variant of each such kind of automata we show that there is an equivalent one which never loops. The main consequence of this result is the closure under complementation of the various types of automata we consider with a focus on the number of pebbles used in order to complement the automata.

It is shown that for each number of pebbles, the two models have the same expressive power both in the deterministic case and in the nondeterministic case. Furthermore, nondeterministic (resp. deterministic) tree-walking automata with n+1 pebbles can recognize more languages than those with npebbles. Moreover, there is a regular tree language that is not recognized by any tree-walking automaton with pebbles. As a consequence, FO+posTC is strictly included in MSO over trees.
Finally, for each k, we give the precise complexities of the problems of emptiness and inclusion of tree-walking automata using k pebbles.
Document type :
Complete list of metadata
Contributor : Mathias Samuelides <>
Submitted on : Wednesday, February 13, 2008 - 4:03:17 PM
Last modification on : Monday, February 15, 2021 - 10:37:51 AM
Long-term archiving on: : Thursday, May 20, 2010 - 6:13:44 PM


  • HAL Id : tel-00255024, version 1


Mathias Samuelides. Automates d'arbres à jetons. Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2007. Français. ⟨tel-00255024⟩



Record views


Files downloads