A note on a special one-rule semi-Thue system (Q1067781)

The quotient monoid \(G_ 1=[a,b;abba=\lambda]\) is characterized as a nontrivial semidirect product of \({\mathbb{Z}}\) by \({\mathbb{Z}}\) which is not a context-free group. The presentation of this monoid, the Thue system \(S_ 1=\{(abba,\lambda)\}\), is shown to have no equivalent finite complete (i.e. uniquely terminating) semi-Thue system on the same alphabet that generates the same congruence. This work corrects the author's work in Lect. Notes Comput. Sci. 176, 80-95 (1984; Zbl 0553.03025).