〈a, b | aabbba=abab〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. (ab)² ⇒ c
2. cab ⇒ abc
3. a²b³a ⇒ c
4. a²b³c ⇒ cbab
5. abcb²a ⇒ cbab
6. c²b²a ⇒ abcbab
7. c(bab)² ⇒ abcb²c
8. cbcb²a ⇒ abcb²c
9. a(bcb)²ab ⇒ cbcb²c
10. cbab²cb²a ⇒ cbcb²c
11. c²b²cbab ⇒ a(bc)²b²c
12. c(bcb)²ab ⇒ cba(b²c)²
13. cba(b²c)²bab ⇒ a(bcb²c)²