Abstract (EN):
It is proved to be decidable, for any given finite subset F of X* and mapping (P:psi:F-->X*, whether or not psi can be extended to an (injective) monoid homomorphism (ψ) over bar :F*-->X*. As a corollary, an alternative algorithm for the isomorphism problem for the free monoid is also provided: for any given finite subsets F, G of X*, it is decidable whether or not F*similar or equal toG*.
Language:
English
Type (Professor's evaluation):
Scientific
No. of pages:
12