A finite Thue system with decidable word problem and without equivalent finite canonical system
It is shown that the following single axiom Thue system \(T=\{aba\leftrightarrow bab\}\) has no equivalent finite canonical (i.e. Noetherian and confluent) semi-Thue system. However, an equivalent finite canonical system for this Thue system can be obtained if new symbols are introduced in the representation.
scientific article; zbMATH DE number 3943794
scientific article