×

zbMATH — the first resource for mathematics

Church-Rosser congruences on free semigroups. (English) Zbl 0408.20054
Algebraic theory of semigroups, Proc. Conf. Szeged 1976, Colloq. Math. Soc. János Bolyai 20, 51-60 (1979).

MSC:
20M35 Semigroups in automata theory, linguistics, etc.
20M05 Free semigroups, generators and relations, word problems
03D03 Thue and Post systems, etc.