Rapport de Recherche Litp /
Litp research reports
12 pages - Février/February 1995 - Document en anglais.
PostScript : Ko /Kb
Titre / Title: Coding and strong coding in trace monoids
Abstract : We compare two notions of coding on traces, called coding and strong coding, in relation with the decision problem of the existence of a coding between two given trace monoids. We positively solve this problem if the first monoid is either a direct product of free monoids, or a free product of free commutative monoids. We show how the situation differs in the case of strong codings.
Publications internes Litp 1995 / Litp research reports 1995