Nondeterministic bottom-up tree automaton recognize the class of regular tree languages.
non-deterministic undeterministic indeterministic nondeterminate nondetermined random nondeterminative non-predictable undetermined indeterminate
choice finite turing polynomial and machine algorithm automaton choices
Save “nondeterministic” to learn later