Skip to Main content Skip to Navigation
Theses

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 :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00255024
Contributor : Mathias Samuelides <>
Submitted on : Wednesday, February 13, 2008 - 4:03:17 PM
Last modification on : Friday, March 27, 2020 - 3:37:52 AM
Long-term archiving on: : Thursday, May 20, 2010 - 6:13:44 PM

Identifiers

  • HAL Id : tel-00255024, version 1

Citation

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

Share

Metrics

Record views

455

Files downloads

180