〈a, b | aabbaba=ab〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right ac/b
• Auxiliary generator abb=c

Complete rewriting system

1. acaba ⇒ ab
2. acabc ⇒ cb
3. c²aba ⇒ cb
4. ab² ⇒ c
5. abcaba ⇒ c
6. cb² ⇒ (abc)²
7. c(ba)² ⇒ ac²
8. cbcaba ⇒ (abc)²
9. c²abcb ⇒ cbcabc
10. (abc)²b ⇒ c²abc
11. cbabcb ⇒ ac³abc
12. cbcabcb ⇒ ab(cabc)²