Eraser morphisms and membership problem in groups and monoids
Eraser morphisms and membership problem in groups and monoids
We develop the theory of fragile words by introducing the concept of eraser morphism and extending the concept to more general contexts such as (free) inverse monoids. We characterize the image of the eraser morphism in the free group case, and show that it has decidable membership problem. We establish …