Alternating tree automata
In automata theory, an alternating tree automaton is an extension of nondeterministic [tree automaton] as same as alternating [finite automaton] extends nondeterministic finite automaton.
In automata theory, an alternating tree automaton is an extension of nondeterministic [tree automaton] as same as alternating [finite automaton] extends nondeterministic finite automaton.