Sciweavers

CORR
2008
Springer

The Wadge Hierarchy of Deterministic Tree Languages

13 years 4 months ago
The Wadge Hierarchy of Deterministic Tree Languages
Abstract. We provide a complete description of the Wadge hierarchy for deterministically recognizable sets of infinite trees. In particular we give an elementary procedure to decide if one deterministic tree language is continuously reducible to another. This extends Wagner's results on the hierarchy of -regular languages to the case of trees.
Filip Murlak
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2008
Where CORR
Authors Filip Murlak
Comments (0)