〈a, b | abbaaabba=a〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right acb
• Auxiliary generator aa=c

Complete rewriting system

1. a² ⇒ c
2. ca ⇒ ac
3. ab²ac ⇒ acb²a
4. ab²c² ⇒ acb²c
5. cb²ac ⇒ c²b²a
6. cb²c² ⇒ c²b²c
7. c(b²a)² ⇒ (ab²)²c
8. cb²ab²c ⇒ a