〈a, b | abbabbba=ba〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. ca²(ca)³ ⇒ (ac)²a²c²a
2. ca(ac)³c ⇒ (ac)²a²c³
3. ca(ac)²a²c² ⇒ ac(aca)²c²
4. (a(ac)²)²c ⇒ c
5. ba ⇒ aca
6. bc ⇒ ac²
7. cab³ ⇒ (ac)²a²c²