Abstract.
Here we investigate the ‘natural’ syntactic algorithm for the word problem of left distributivity, and we establish a sufficient condition which explains the convergence for all terms of a reasonable size. An algorithm for left division is also constructed.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received February 8, 1996; accepted in final form October 3, 1996
Rights and permissions
About this article
Cite this article
Dehornoy, P. On the syntactic algorithm for the word problem of left distributivity. Algebra univers. 37, 191–222 (1997). https://doi.org/10.1007/s000120050013
Issue Date:
DOI: https://doi.org/10.1007/s000120050013