The homomorphism problem for trace monoi
β
Pedro V. Silva
π
Article
π
2003
π
Elsevier Science
π
English
β 278 KB
It is proved to be decidable, for any given ΓΏnite subset F of X \* , dependency alphabet (Y; ) and mapping ' : F β Y \* , whether or not ' can be extended to a monoid homomorphism ' : F \* β M (Y; ). This contrasts with the undecidability of the symmetric problem, when we consider the dependency alp