Results 1  10
of
14
Tiling Semigroups
 11th ICALP, Lecture Notes in Computer Science 199
, 1999
"... It has recently been shown how to construct an inverse semigroup from any tiling: a construction having applications in Ktheoretical gaplabelling. In this paper, we provide the categorical basis for this construction in terms of an appropriate group acting partially and without xed points on an ..."
Abstract

Cited by 37 (10 self)
 Add to MetaCart
It has recently been shown how to construct an inverse semigroup from any tiling: a construction having applications in Ktheoretical gaplabelling. In this paper, we provide the categorical basis for this construction in terms of an appropriate group acting partially and without xed points on an inverse category associated with the tiling. 1 Introduction In [6] and [7], the rst author showed how to construct an inverse semigroup from any tiling of Euclidean space; we call such semigroups tiling semigroups. This work was motivated by questions in solidstate physics, particularly by those concerning quasicrystals. Our motivation here is to understand the mathematical nature of tiling semigroups. We show that tiling semigroups can best be understood in terms of `partial actions of groups'. Such partial group actions were introduced by Exel [2] and their theory further developed in [11]. The fact that the group acts only partially is accounted for by the fact that the tilings of ...
Recognizable Sets with Multiplicities in the Tropical Semiring
, 1988
"... The last ten years saw the emergence of some results about recognizable subsets of a free monoid with multiplicities in the MinPlus semiring. An interesting aspect of this theoretical body is that its discovery was motivated throughout by applications such as the finite power property, Eggan's clas ..."
Abstract

Cited by 30 (1 self)
 Add to MetaCart
The last ten years saw the emergence of some results about recognizable subsets of a free monoid with multiplicities in the MinPlus semiring. An interesting aspect of this theoretical body is that its discovery was motivated throughout by applications such as the finite power property, Eggan's classical star height problem and the measure of the nondeterministic complexity of finite automata. We review here these results, their applications and point out some open problems. 1 Introduction One of the richest extensions of finite automaton theory is obtained by associating multiplicities to words, edges and states. Perhaps the most intuitive appearence of this concept is obtained by counting for every word the number of successful paths spelling it in a (nondeterministic) finite automaton. This is motivated by the formalization of ambiguity in a finite automaton and leads to the theory of recognizable subsets of a free monoid with multiplicities in the semiring of natural numbers. This...
Tropical Semirings
"... this paper is to present other semirings that occur in theoretical computer science. These semirings were baptized tropical semirings by Dominique Perrin in honour of the pioneering work of our brazilian colleague and friend Imre Simon, but are also commonly known as (min; +)semirings ..."
Abstract

Cited by 23 (0 self)
 Add to MetaCart
this paper is to present other semirings that occur in theoretical computer science. These semirings were baptized tropical semirings by Dominique Perrin in honour of the pioneering work of our brazilian colleague and friend Imre Simon, but are also commonly known as (min; +)semirings
On the Burnside problem for Semigroups of Matrices in the (max,+) Algebra
, 1996
"... We show that the answer to the Burnside problem is positive for semigroups of matrices with entries in the (max,+)algebra (that is, the semiring (R[ f\Gamma1g; max; +)), and also for semigroups of (max,+)linear projective maps with rational entries. An application to the estimation of the Lyapuno ..."
Abstract

Cited by 11 (2 self)
 Add to MetaCart
We show that the answer to the Burnside problem is positive for semigroups of matrices with entries in the (max,+)algebra (that is, the semiring (R[ f\Gamma1g; max; +)), and also for semigroups of (max,+)linear projective maps with rational entries. An application to the estimation of the Lyapunov exponent of certain products of random matrices is also discussed. 1. Introduction The "(max,+)algebra" is a traditional name for the semiring (R[f\Gamma1g; max; +), denoted Rmax in the sequel. This is a particular example of idempotent semiring (that is a semiring whose additive law satisfies a \Phi a = a), also known as dioid [17, 18, 2]. This algebraic structure has been popularized by its applications to Graph Theory and Operations Research [17, 8]. Linear operators in this algebra are central in HamiltonJacobi theory and in the study of exponential asymptotics [33]. The study of automata and semigroups of matrices over the analogous "tropical" semiring (N [ f+1g;min;+) has been ...
The Topological Approach to the Limitedness Problem on Distance Automata
, 1998
"... this paper, we present the topological approach to the limitedness problem on distance automata. Our techniques has been improved so that the Brown's result is no longer needed. The main mathematical tools used are the local structure theory for nite semigroup [13] and some basic topological ideas. ..."
Abstract

Cited by 8 (1 self)
 Add to MetaCart
this paper, we present the topological approach to the limitedness problem on distance automata. Our techniques has been improved so that the Brown's result is no longer needed. The main mathematical tools used are the local structure theory for nite semigroup [13] and some basic topological ideas. Most of the technical results in this paper except Lemma 3.9 and Lemma 3.10 were obtained in ([14], [15]). Besides for the sake of completeness, we include all the proofs because many of them have been reworked for better presentations
Factorisation forests for infinite words Application to countable scattered linear
"... orderings ..."
Some Results on the DotDepth Hierarchy
, 1992
"... : In this paper we pursue the study of the decidability of the dotdepth hierarchy. We give an e#ective lower bound for the dotdepth of an aperiodic monoid. The main tool for this is the study of a certain operation on varieties of finite monoids in terms of Mal'cev product. We also prove the equal ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
: In this paper we pursue the study of the decidability of the dotdepth hierarchy. We give an e#ective lower bound for the dotdepth of an aperiodic monoid. The main tool for this is the study of a certain operation on varieties of finite monoids in terms of Mal'cev product. We also prove the equality of two decidable varieties which were known to contain all dotdepth two monoids. Finally, we restrict our attention to inverse monoids, and we prove that the class of inverse dotdepth two monoids is locally finite. In this paper we pursue the study of the dotdepth hierarchy, a hierarchy of starfree (i.e. recognizable aperiodic) languages with connections to finite monoid theory, formal logic (Thomas [30]) and computational complexity (Barrington and Therien [1]). The dotdepth hierarchy was first introduced by Brzozowski and Cohen [3] in 1971 and was studied by numerous authors since. It consists in a strictly increasing sequence of classes of starfree languages whose union is the c...
On Semigroups of Matrices in the (max,+) Algebra
, 1994
"... We show that the answer to the Burnside problem is positive for semigroups of matrices with entries in the (max; +)algebra (that is, the semiring (R[ f\Gamma1g; max; +)), and also for semigroups of (max; +)linear projective maps with rational entries. An application to the estimation of the Lyap ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
We show that the answer to the Burnside problem is positive for semigroups of matrices with entries in the (max; +)algebra (that is, the semiring (R[ f\Gamma1g; max; +)), and also for semigroups of (max; +)linear projective maps with rational entries. An application to the estimation of the Lyapunov exponent of certain products of random matrices is also discussed.
On factorisation forests And some applications
, 2007
"... infinite structures. Abstract. The theorem of factorisation forests shows the existence of nested factorisations — a la Ramsey — for finite words. This theorem has important applications in semigroup theory, and beyond. The purpose of this paper is to illustrate the importance of this approach in th ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
infinite structures. Abstract. The theorem of factorisation forests shows the existence of nested factorisations — a la Ramsey — for finite words. This theorem has important applications in semigroup theory, and beyond. The purpose of this paper is to illustrate the importance of this approach in the context of automata over infinite words and trees. We extend the theorem of factorisation forest in two directions: we show that it is still valid for any word indexed by a linear ordering; and we show that it admits a deterministic variant for words indexed by wellorderings. A byproduct of this work is also an improvement on the known bounds for the original result. We apply the first variant for giving a simplified proof of the closure under complementation of rational sets of words indexed by countable scattered linear orderings. We apply the second variant in the analysis of monadic secondorder logic over trees, yielding new results on monadic interpretations over trees. Consequences of it are new caracterisations of prefixrecognizable structures and of the Caucal hierarchy. 1