Abstract
Finite Thue systems that are Church-Rosser and properties of the semigroups such systems present are studied.
Similar content being viewed by others
References
Berstel, J.,Congruences plus que parfaites et langages algébrique, Seminaire d'Informatique Théorique (1976–77), Institut de Programmation, 123–147.
Book, R.,Confluent and other types of Thue systems, J. Assoc. Comput. Mach., to appear.
Book, R., M. Jantzen, B. Monien and C. Wrathall,Results on Thue systems and semigroups, Research Announcement, University of California at Santa Barbara, May 1980.
Book, R. and C. O'Dunlaing,Testing for the Church-Rosser property, Theoretical Computer Science, to appear.
Cochet, Y.,Church-Rosser congruences on free semigroups, Colloq. Math. Soc. János Bolyai: Algebraic Theory of Semigroups 20 (1976), 51–60.
Davis, M.,Computability and Unsolvability, McGraw-Hill, 1958.
Hopcroft, J. and J. Ullman,Introduction to Automata Theory, Languages and Computation, Addison-Wesley, 1979.
Huet, G.,Confluent reductions: abstract properties and applications of term rewriting systems, 18th IEEE Symp. Foundations of Comp. Sci. (1977), 30–45. Also, J. Assoc. Comput. Mach. 27 (1980), 797–821.
Lallement, G.,Semigroups and Combinatorial Applications, Wiley-Interscience, 1979.
Newman, M.H.A.,On theories with a combinatorial definition of “equivalence”, Annals Math. 43 (1942), 223–243.
Nivat, M. (with M. Benois),Congruences parfaites et quasi-parfaites, Seminaire Dubreil, 25e Année (1971–72), 7-01-09.
Yasuhara, A.,Recursive Function Theory and Logic, Academic Press, 1971.
Yasuhara, A.,Some non-recursive classes of Thue systems with solvable word problems, Zeitschr. f. Math. Logik und Grundlagen d. Math. 20 (1974), 121–132.
Author information
Authors and Affiliations
Additional information
Communicated by G. Lallement
Rights and permissions
About this article
Cite this article
Book, R.V., O'Dunlaing, C.P. Thue congruences and the Church-Rosser property. Semigroup Forum 22, 367–379 (1981). https://doi.org/10.1007/BF02572815
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF02572815