The word problem for free partially commutative groups

  • Authors:
  • C. Wrathall

  • Affiliations:
  • Department of Mathematics, University of California, Santa Barbara, CA 93106, U.S.A.

  • Venue:
  • Journal of Symbolic Computation
  • Year:
  • 1988

Quantified Score

Hi-index 0.00

Visualization

Abstract

A linear-time algorithm is given for the word problem for free partially commutative groups. The correctness of the algorithm follows from the fact that certain Thue systems, presenting such groups, are preperfect.