Chains and Superchains for ω-Rational Sets, Automata and Semigroups
Olivier Carton, Dominique Perrin · International Journal of Algebra and Computation · 1997
We introduce several equivalent notions that generalize ones introduced by Klaus Wagner for finite Muller automata under the name of chains and superchains. We define such objects in relation to ω-rational sets, Muller automata or also ω-semigroups. We prove their equivalence and derive some basic properties of these objects. In a subsequent paper, we show how these concepts allow us to derive a new presentation of the hierarchy due to K. Wagner and W. Wadge.