〈a, b | aaabaa=baba〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. ab ⇒ c
2. bcbc² ⇒ a²c⁴
3. a(ac)² ⇒ bc²
4. a³c⁴ ⇒ c²bc²
5. (bc)²a ⇒ a²c³a
6. a²cbc² ⇒ bc(ac)²
7. a²c³bc² ⇒ bca²c⁴
8. a²ca² ⇒ bca
9. a³c³a ⇒ c²bca
10. a²cbca ⇒ bcaca²
11. a²c³bca ⇒ bca²c³a