| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 429271 | Information Processing Letters | 2006 | 7 Pages |
Abstract
We consider various kinds of deterministic tree-walking automata, with and without pebbles, over ranked and unranked trees. For 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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
