Talk:Alternating tree automata

Seems related to CTL* ] and modal μ-calculus. Tijfo098 (talk) 08:51, 29 April 2011 (UTC)
 * There are many variety of alternating automata. I started this page to eventually create a list of these automata and their comparisons.