〈a, b | abbabba=aab〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. a²b ⇒ c
2. cb²a ⇒ ab²c
3. a(b²a)² ⇒ c
4. (ab²)²c ⇒ cab
5. ab²cab ⇒ cb²c
6. c(ab)² ⇒ a(b²c)²
7. cab³a ⇒ cb²c
8. cbab²a ⇒ ac
9. cbab²c ⇒ acab
10. cbcab ⇒ acb²c
11. cb²cab ⇒ cab³c
12. cab³cab ⇒ a(b²c)³