〈a, b | aaaba=baba〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: right-to-left ac/b
• Auxiliary generator baba=c

Complete rewriting system

1. a³c² ⇒ ca³c
2. a⁶c ⇒ c²
3. (a³c)² ⇒ c³
4. cba ⇒ a³c
5. a³ba ⇒ c
6. cbc ⇒ a³ca²ba
7. a³bc ⇒ ca²ba
8. bac ⇒ a³c
9. ba⁴c ⇒ c²
10. (ba)² ⇒ c
11. babc ⇒ ca²ba