Abstract
Let W be the free monoid over a finite alphabet A. We prove that a congruence of W generated by a finite number of pairs \(\left\langle {au,u} \right\rangle\), where a ∈ A and u ∈ W, is always decidable.
Similar content being viewed by others
References
N. Dershowitz and J.-P. Jouannaud: Rewrite systems. Chapter 6, 243-320 in J. van Leeuwen, ed., Handbook of Theoretical Computer Science, B: Formal Methods and Semantics. North Holland, Amsterdam 1990.
J. Ježek: Free groupoids in varieties determined by a short equation. Acta Univ. Carolinae 23 (1982), 3-24.
J. Ježek and G.F. McNulty: Perfect bases for equational theories. to appear in J. Symbolic Computation.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Ježek, J. Some decidable congruences of free monoids. Czechoslovak Mathematical Journal 49, 475–480 (1999). https://doi.org/10.1023/A:1022459016492
Issue Date:
DOI: https://doi.org/10.1023/A:1022459016492