Learn More
In recent years a number of conditions has been established that a monoid must necessarily satisfy if it is to have a presentation through some nite convergent string-rewriting system. Here we give a survey on this development, explaining these necessary conditions in detail and describing the relationships between them.