〈a, b | abbaa=abaab〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. caca² ⇒ ca³c
2. cba² ⇒ abac
3. cbaca² ⇒ ab(ac)²
4. ca²b ⇒ abac
5. cacb ⇒ cbac
6. ca⁴b ⇒ abaca²
7. ca³cb ⇒ ab(ac)²
8. ab²aca² ⇒ ab²a³c
9. aba²b ⇒ ab²a²
10. abacb ⇒ ab²ac
11. ab²a²b ⇒ c
12. ab²a⁴b ⇒ ca²
13. ab²a³cb ⇒ cac