〈a, b | ababbba=aab〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: right-to-left bc/a
• Auxiliary generator aab=c

Complete rewriting system

1. cbab(b²c)² ⇒ c²ab
2. cab³a ⇒ ac
3. cbab³a ⇒ cab
4. cbab³cb²a ⇒ c²
5. a²b ⇒ c
6. c(ab)² ⇒ cbab³c
7. acab ⇒ cab³c
8. a²c ⇒ cab³cb²a
9. abab³c ⇒ cab
10. cab²ab³c ⇒ cbab³cab
11. acbab³c ⇒ cab³cab
12. c(ab³c)² ⇒ ac²ab
13. cb(ab³c)² ⇒ (cab)²
14. abab³a ⇒ c
15. cab²ab³a ⇒ cbab³c