〈a, b | aaaabba=baa〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: right-to-left ad/cb
• Auxiliary generator aabb=c
• Auxiliary generator ac=d

Complete rewriting system

1. a⁴d²a ⇒ da²
2. a⁴d³ ⇒ dad
3. ac ⇒ d
4. a⁴d²c ⇒ d²
5. cd ⇒ a³d²c
6. ca² ⇒ a³d²a
7. cad ⇒ a³d³
8. bd ⇒ adc
9. ba² ⇒ ada
10. bad ⇒ ad²
11. a⁴d²bc ⇒ dabc
12. a²b² ⇒ c
13. adab² ⇒ bc
14. a³d²ab² ⇒ c²
15. c³ ⇒ a(a²d²)²ab²
16. bc² ⇒ ada²d²ab²
17. cbc ⇒ a³d³ab²
18. cabc ⇒ a³d²bc
19. b²c ⇒ ad²ab²
20. babc ⇒ adbc