Vojtech Matocha

Learn More
The word u = abaaba satisfies f(u) = u where f maps b to aba and cancels a. Such words, which are fixed points of a nontrivial morphism, are called morphically imprimitive. On the other hand, the word u′ = abba can be easily verified to be morphically primitive, which means that the only morphism satisfying f(u′) = u′ defined on {a, b}∗ is the identity.(More)
  • 1