〈a, b | ababba=baa〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

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