It is proved that the fixed point submonoid and the periodic point submonoid of a trace monoid endomorphism are always finitely generated. If the dependence alphabet is a transitive forest, it is proved that the set of regular fixed points of the (Scott) continuous extension of an endomorphism to real traces is Ω-rational for every endomorphism if and only if the monoid is a free product of free commutative monoids.
Fixed points of endomorphisms of trace monoids
Rodaro E.;
2014-01-01
Abstract
It is proved that the fixed point submonoid and the periodic point submonoid of a trace monoid endomorphism are always finitely generated. If the dependence alphabet is a transitive forest, it is proved that the set of regular fixed points of the (Scott) continuous extension of an endomorphism to real traces is Ω-rational for every endomorphism if and only if the monoid is a free product of free commutative monoids.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Fixed points of endomorphisms of trace monoids.pdf
Accesso riservato
:
Publisher’s version
Dimensione
524.46 kB
Formato
Adobe PDF
|
524.46 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
