Word Problem Solving

The decision process of determining whether two words in the generators of a presented algebraic structure represent the same element in the quotient defined by the relations; equivalently, deciding whether a given word represents the identity.