Word problem in free clumps

DOI10.1016/0304-3975(92)90034-DMaRDI QIDQ1190471zbMATH OpenFDO

Authors Patrick Dehornoy

Publication date 26 September 1992

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(92)90034-D

zbMATH Keywords

algorithmbraid groupdistributive lawfree clumpsfree left distributive structuresword problem

Mathematics Subject Classification ID

Word problems (aspects of algebraic structures) (08A50) Algebraic structures (08A99) Free semigroups, generators and relations, word problems (20M05) Grammars and rewriting systems (68Q42)

Review text

We describe a tractable yet unproved algorithm for solving the word problem in free left distributive structures. The correctness and termination of this algorithm is connected with the existence of some normal forms in an extension of a braid group.

Recommendations

• On the syntactic algorithm for the word problem of left distributivity
• Braid Groups and Left Distributive Operations
• The fine structure of LD-equivalence
• The Word Problem for Free Lattice-Ordered Groups (and Some Other Free Algebras)
• scientific article; zbMATH DE number 4127515

Cites work

• Free distributive groupoids
• scientific article; zbMATH DE number 4127515 (Why is no real title available?)
• scientific article; zbMATH DE number 218582 (Why is no real title available?)
• scientific article; zbMATH DE number 3227055 (Why is no real title available?)
• Structural Monoids Associated to Equational Varieties
• Thue systems as rewriting systems

Cited in

(6)

• On the syntactic algorithm for the word problem of left distributivity
• The Jónsson symposium problem sessions
• The fine structure of LD-equivalence
• The word problem for finitely presented quandles is undecidable
• Braid Groups and Left Distributive Operations
• Some aspects of the SD-world

This page was built for publication: Word problem in free clumps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1190471)