Testing for the Church-Rosser property It is shown that there is a polynomial-time algorithm to determine whether a finite Thue system is Church-Rosser.
Testing for the Church-Rosser property
It is shown that there is a polynomial-time algorithm to determine whether a finite Thue system is Church-Rosser.