Sciweavers

Share
ILC
2007
Springer

A Playful Glance at Hierarchical Questions for Two-Way Alternating Automata

8 years 8 months ago
A Playful Glance at Hierarchical Questions for Two-Way Alternating Automata
Two-way alternating automata were introduced by Vardi in order to study the satisfiability problem for the modal µ-calculus extended with backwards modalities. In this paper, we present a very simple proof by way of Wadge games of the strictness of the hierarchy of Motowski indices of two-way alternating automata over trees. Keywords : µ-calculus, backward modalities, Wadge games, topological complexity, parity games, two-way alternating tree automata, descriptive set theory.
Jacques Duparc, Alessandro Facchini
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where ILC
Authors Jacques Duparc, Alessandro Facchini
Comments (0)
books