  We study three levels in a hierarchy of nondeterminism: A nondeterministic
automaton $\mathcal{A}$ is determinizable by pruning (DBP) if we can obtain a
deterministic automaton equivalent to $\mathcal{A}$ by removing some of its
transitions. Then, $\mathcal{A}$ is history deterministic (HD) if its
nondeterministic choices can be resolved in a way that only depends on the
past. Finally, $\mathcal{A}$ is semantically deterministic (SD) if different
nondeterministic choices in $\mathcal{A}$ lead to equivalent states. Some
applications of automata in formal methods require deterministic automata, yet
in fact can use automata with some level of nondeterminism. For example, DBP
automata are useful in the analysis of online algorithms, and HD automata are
useful in synthesis and control. For automata on finite words, the three levels
in the hierarchy coincide. We study the hierarchy for B\"uchi, co-B\"uchi, and
weak automata on infinite words. We show that the hierarchy is strict, study
the expressive power of the different levels in it, as well as the complexity
of deciding the membership of a language in a given level. Finally, we describe
a probability-based analysis of the hierarchy, which relates the level of
nondeterminism with the probability that a random run on a word in the language
is accepting. We relate the latter to nondeterministic automata that can be
used when reasoning about probabilistic systems.
