〈a, b | aababbaa=ba〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: right-to-left c/ab
• Auxiliary generator ba=c

Complete rewriting system

1. ba ⇒ c
2. b²c ⇒ cacbc²
3. cacbca ⇒ bc
4. a²cbc² ⇒ bc
5. (cac)²bc² ⇒ bc²bca
6. cac(bc)² ⇒ bcacbc²
7. a²cbca ⇒ c
8. a²c²acbc² ⇒ c²bca
9. a²c(bc)² ⇒ cacbc²