Crossability of cancellative Kleene semigroups
C. P. Rupert · RAIRO - Theoretical Informatics and Applications · 1992
Every cancellative Kleene semigroup satisfies Eilenberg's theorem.Résumé.-Si S est un semigroupe simplifiable de type Kleene, alors S satisfait le théorème d'Eilenberg.EILENBERG'S THEOREM [1]: IfH,* and F* are finitely generaled f ree monoids, then every morphism cp : S* -> F* is crossable