Abstract : We present a unified treatment of the hierarchy defined, by Klaus Wagner for omega-rational sets and also introduced in the more general framework of descriptive set theory by William W. Wadge. We show that this hierarchy can be defined by syntactic invariants, using the concept of an omega-semigroup.
https://hal-upec-upem.archives-ouvertes.fr/hal-00693993
Contributor : Dominique Perrin
<>
Submitted on : Thursday, May 3, 2012 - 11:46:59 AM
Last modification on : Wednesday, April 11, 2018 - 12:12:03 PM
Olivier Carton, D Perrin. The Wadge-Wagner hierarchy of omega-rational sets. AUTOMATA, LANGUAGES AND PROGRAMMING, 1997, 1256 (?), pp.17--35. ⟨hal-00693993⟩
