Alternating Automata. The Weak Monadic Theory of the Tree, and its Complexity.

David E. Muller Ahmed Saoudi Paul E. Schupp

Published in: ICALP (1986)

Keyphrases

theoretical basis
computational complexity
decision problems
finite state
computational cost
theoretical framework
tree structure
tree automata
spanning tree
relational databases
cellular automata
finite automata