Word problem (mathematics)

Example: A term rewriting system to decide the word problem in the free group