In this note, using the technique of rewriting, we give a short proof of a theorem of Adjan: the word problem is decidable for special one-relator monoids (A; w = e).
机构:
No Arizona Univ, Dept Math & Stat, Flagstaff, AZ 86011 USA
Penn State Univ, Dept Math, University Pk, PA 16802 USANo Arizona Univ, Dept Math & Stat, Flagstaff, AZ 86011 USA