Find link

language:

jump to random article

Find link is a tool written by Edward Betts.

searching for Alternating tree automata 1 found (3 total)

alternate case: alternating tree automata

Alternating finite automaton (808 words) [view diff] exact match in snippet view article find links to article

extended to accept trees in the same way as tree automata, yielding alternating tree automata. An alternating finite automaton (AFA) is a 5-tuple, ( Q , Σ