〈a, b | aabbaaba=ab〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. aca²ba ⇒ ab
2. aca²bc ⇒ cb
3. c²a²ba ⇒ cb
4. ab² ⇒ c
5. abca²ba ⇒ c
6. cb² ⇒ abca²bc
7. cba²ba ⇒ (ac)²
8. cbca²ba ⇒ abca²bc
9. c²a²bcb ⇒ cbca²bc
10. abca²bcb ⇒ c²a²bc
11. cba²bcb ⇒ acac²a²bc
12. cbca²bcb ⇒ ab(ca²bc)²