〈a, b | aaabbba=baa〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. a³d³ ⇒ da
2. aca ⇒ d
3. acd ⇒ dca
4. ca² ⇒ a²d³
5. cda ⇒ a(ad³)²
6. cad ⇒ a²d³ca
7. cd² ⇒ a(ad³)²ca
8. ba² ⇒ a²d
9. bda ⇒ a²dad³
10. bad ⇒ a²dca
11. bd² ⇒ a²dad³ca
12. cb ⇒ bc
13. b³ ⇒ c