Alternating tree automata

In automata theory, an alternating tree automaton is an extension of nondeterministic tree automaton as similarly alternating finite automaton extends nondeterministic finite automaton (NFA).

/*

• For an existential transition $(q,a,q_{1}\vee q_{2})$, A nondeterministically chooses to switch the state to either $q_{1}$ or $q_{2}$, reading a. Thus, behaving like a regular nondeterministic finite automaton.
• For a universal transition $(q,a,q_{1}\wedge q_{2})$, A moves to $q_{1}$ and $q_{2}$, reading a, simulating the behavior of a parallel machine.

Note that due to the universal quantification a run is represented by a run tree. A accepts a word w, if there exists a run tree on w such that every path ends in an accepting state.

A basic theorem tells that any AFA is equivalent to an non-deterministic finite automaton (NFA) by performing a similar kind of powerset construction as it is used for the transformation of an NFA to a deterministic finite automaton (DFA). This construction converts an AFA with k states to an NFA with up to $2^{k}$ states.

An alternative model which is frequently used is the one where Boolean combinations are represented as clauses. For instance, one could assume the combinations to be in Disjunctive Normal Form so that $\{\{q_{1}\},\{q_{2},q_{3}\}\}$ would represent $q_{1}\vee (q_{2}\wedge q_{3})$. The state tt (true) is represented by $\{\{\}\}$ in this case and ff (false) by $\varnothing$. This clause representation is usually more efficient.

• /