〈a, b | aabbaabb=ba〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. (dbd)²b² ⇒ bd
2. cb ⇒ d
3. bc ⇒ (dbd)²b
4. dc ⇒ c(dbd)²b
5. ba ⇒ (db)²
6. da ⇒ c(db)²
7. ca ⇒ ac
8. a² ⇒ c