〈a, b | ababbba=baa〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right bc/a
• Auxiliary generator baa=c

Complete rewriting system

1. abab²c ⇒ ca
2. abab³c ⇒ bac
3. ba² ⇒ c
4. (ba)²c ⇒ cbab³c
5. baca ⇒ cbab²c
6. cbab³a ⇒ bac
7. cbab⁴ac ⇒ bacbab³c
8. cbab³ca ⇒ bacbab²c
9. c(bab²c)² ⇒ bac²a
10. (cbab²)²bc ⇒ (bac)²
11. abab³a ⇒ c
12. abab⁴ac ⇒ cbab³c