〈a, b | aabbaaaba=b〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right cb/a
• Auxiliary generator aa=c

Complete rewriting system

1. ca ⇒ ac
2. cb²acbc ⇒ ba
3. a² ⇒ c
4. cb(ba)² ⇒ bab²a(cbc)²
5. cb²acba ⇒ b
6. (cb²a)² ⇒ bab²acbc
7. b³acba ⇒ (cb²ac)²b²
8. b³acbc²ba ⇒ cb²ac²b²ab
9. bab²acba ⇒ cb²acb²
10. bab²acbc²ba ⇒ cb²ab