166 research outputs found
Amalgams of finite inverse semigroups
reserved3We show that the word problem is decidable for an amalgamated free product of finite inverse
semigroups (in the category of inverse semigroups). This is in contrast to a recent result of M. Sapir
that shows that the word problem for amalgamated free products of finite semigroups (in the category
of semigroups) is in general undecidable.A. Cherubini; J. Meakin; B. PiochiCherubini, Alessandra; J., Meakin; B., Pioch
Varieties of Data Languages
We establish an Eilenberg-type correspondence for data languages, i.e.
languages over an infinite alphabet. More precisely, we prove that there is a
bijective correspondence between varieties of languages recognized by
orbit-finite nominal monoids and pseudovarieties of such monoids. This is the
first result of this kind for data languages. Our approach makes use of nominal
Stone duality and a recent category theoretic generalization of Birkhoff-type
HSP theorems that we instantiate here for the category of nominal sets. In
addition, we prove an axiomatic characterization of weak pseudovarieties as
those classes of orbit-finite monoids that can be specified by sequences of
nominal equations, which provides a nominal version of a classical theorem of
Eilenberg and Sch\"utzenberger
Varieties of Cost Functions.
Regular cost functions were introduced as a quantitative generalisation of regular languages, retaining many of their equivalent characterisations and decidability properties. For instance, stabilisation monoids play the same role for cost functions as monoids do for regular languages. The purpose of this article is to further extend this algebraic approach by generalising two results on regular languages to cost functions: Eilenberg's varieties theorem and profinite equational characterisations of lattices of regular languages. This opens interesting new perspectives, but the specificities of cost functions introduce difficulties that prevent these generalisations to be straightforward. In contrast, although syntactic algebras can be defined for formal power series over a commutative ring, no such notion is known for series over semirings and in particular over the tropical semiring
Varieties of Data Languages
We establish an Eilenberg-type correspondence for data languages, i.e.
languages over an infinite alphabet. More precisely, we prove that there is a
bijective correspondence between varieties of languages recognized by
orbit-finite nominal monoids and pseudovarieties of such monoids. This is the
first result of this kind for data languages. Our approach makes use of nominal
Stone duality and a recent category theoretic generalization of Birkhoff-type
HSP theorems that we instantiate here for the category of nominal sets. In
addition, we prove an axiomatic characterization of weak pseudovarieties as
those classes of orbit-finite monoids that can be specified by sequences of
nominal equations, which provides a nominal version of a classical theorem of
Eilenberg and Sch\"utzenberger
Context-freeness of the languages of SchĂĽtzenberger automata of HNN-extensions of finite inverse semigroups
We prove that the SchĂĽtzenberger graph of any element of the HNN-extension of a finite inverse semigroup S with respect to its standard presentation is a context-free graph in the sense of [11], showing that the language L recognized by this automaton is context-free. Finally we explicitly construct the grammar generating L, and from this fact we show that the word problem for an HNN-extension of a finite inverse semigroup S is decidable and lies in the complexity class of polynomial time problems
- …