A monoid morphism "f" from a free monoid "B" to a monoid "M" is a map such that "f"("xy") = "f"("x")⋅"f"("y") for words "x","y" and "f"(ε) = ι, where ε and ι denotes the identity element of "B" and "M", respectively.