Thue congruences and the Church-Rosser property This paper reviews some facts about Thue congruences, and shows, among other things, that it is generally undecidable if a string is minimal (as opposed to irreducible).
Thue congruences and the Church-Rosser property
This paper reviews some facts about Thue congruences, and shows, among other things, that it is generally undecidable if a string is minimal (as opposed to irreducible).