Undecidable questions related to Church-Rosser Thue systems
The following properties are shown undecidable for finite Thue
systems S: Is S equivalent to a finite Church-Rosser
(respectively, almost-confluent, preperfect) system? Does S
generate a Church-Rosser congruence?