Displaying 621 – 640 of 2556

Showing per page

Equational description of pseudovarieties of homomorphisms

Michal Kunc (2003)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

The notion of pseudovarieties of homomorphisms onto finite monoids was recently introduced by Straubing as an algebraic characterization for certain classes of regular languages. In this paper we provide a mechanism of equational description of these pseudovarieties based on an appropriate generalization of the notion of implicit operations. We show that the resulting metric monoids of implicit operations coincide with the standard ones, the only difference being the actual interpretation of pseudoidentities....

Equational description of pseudovarieties of homomorphisms

Michal Kunc (2010)

RAIRO - Theoretical Informatics and Applications

The notion of pseudovarieties of homomorphisms onto finite monoids was recently introduced by Straubing as an algebraic characterization for certain classes of regular languages. In this paper we provide a mechanism of equational description of these pseudovarieties based on an appropriate generalization of the notion of implicit operations. We show that the resulting metric monoids of implicit operations coincide with the standard ones, the only difference being the actual interpretation of pseudoidentities. As...

Équations dans les monoïdes libres

A. Lentin (1970)

Mathématiques et Sciences Humaines

Après une introduction de caractère historique, l'auteur expose succinctement les principaux résultats qu'il a obtenus (thèse, Paris 1969) dans le domaine jusqu'alors pratiquement inexploré des équations dans les monoïdes libres.

Every braid admits a short sigma-definite expression

Jean Fromentin (2011)

Journal of the European Mathematical Society

A result by Dehornoy (1992) says that every nontrivial braid admits a σ -definite expression, defined as a braid word in which the generator σ i with maximal index i appears with exponents that are all positive, or all negative. This is the ground result for ordering braids. In this paper, we enhance this result and prove that every braid admits a σ -definite word expression that, in addition, is quasi-geodesic. This establishes a longstanding conjecture. Our proof uses the dual braid monoid and a new...

Currently displaying 621 – 640 of 2556