Endomorphisms
An endomorphism of A∗ is a morphism from A∗ to itself. The identity map I is an endomorphism of A∗, and the endomorphisms form a monoid under composition of functions.
An endomorphism f is prolongable if there is a letter a such that f(a) = as for a non-empty string s.
Read more about this topic: Free Monoid