论文信息 - Homogeneous Thue systems and the Church-Rosser property

Homogeneous Thue systems and the Church-Rosser property

Homogeneous Thue systems are considered. It is shown that if a homogeneous Thue system is not Church-Rosser, then there is no Church-Rosser system that is equivalent to it. This result contrasts with the theorems of O'Dunlaing [10, 11] showing that it is undecidable whether the congruence generated by a finite Thue system is also generated by a finite Church-Rosser system.

Ronald V. Book | R. V. Book

[1] Colm Ó'Dúnlaing. Finite and infinite regular thue systems , 1981 .

[2] Colm Ó'Dúnlaing. Undecidable questions related to Church-Rosser Thue systems , 1983, Theor. Comput. Sci..

[3] Gerard Lallement,et al. On monoids presented by a single relation , 1974 .

[4] Colm Ó'Dúnlaing,et al. Testing for the Church-Rosser Property , 1981, Theor. Comput. Sci..

[5] Ronald V. Book,et al. Confluent and Other Types of Thue Systems , 1982, JACM.

[6] Matthias Jantzen. On a Special Monoid with a Single Defining Relation , 1981, Theor. Comput. Sci..

[7] W. Magnus,et al. Combinatorial Group Theory: COMBINATORIAL GROUP THEORY , 1967 .

[8] M. Schützenberger,et al. The equation $a^M=b^Nc^P$ in a free group. , 1962 .

[9] S. Adjan,et al. Defining Relations and Algorithmic Problems for Groups and Semigroups , 1967 .