A Game Theoretical Approach to The Algebraic Counterpart of The Wagner Hierarchy : Part II
Jérémie Cabessa, Jacques Duparc (2009)
RAIRO - Theoretical Informatics and Applications
Similarity:
The algebraic counterpart of the Wagner hierarchy consists of a well-founded and decidable classification of finite pointed -semigroups of width and height . This paper completes the description of this algebraic hierarchy. We first give a purely algebraic decidability procedure of this partial ordering by introducing a graph representation of finite pointed -semigroups allowing to compute their precise Wagner degrees. The Wagner degree of any -rational language can therefore be computed...