3

In other words, are they equally powerful?

(for word automata the answer is "yes"; this question is about tree automata).

(i am talking about tree automata that work on $in$finite trees)

Ayrat
  • 1,135
  • 1
  • 9
  • 23

1 Answers1

4

The answer is no, nondeterministic Rabin automata are more expressive than deterministic ones.

As an example, consider the language of $\{a,b\}$-labeled binary trees that contain at least one $b$.

It's easy to construct a two-state Büchi tree automaton for this language (and hence a Rabin automaton), but there is no deterministic equivalent.

You can look at Lemma 6.1 here, for a start.

David Richerby
  • 82,470
  • 26
  • 145
  • 239
Shaull
  • 17,814
  • 1
  • 41
  • 67