〈a, b | aabbaba=baa〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: right-to-left ad/c/b
• Auxiliary generator bbab=c
• Auxiliary generator aacac=d

Complete rewriting system

1. a²da²(d²a)² ⇒ da²
2. (a²d)²dad³ ⇒ dad
3. cd ⇒ d²ac
4. ca² ⇒ da²ca
5. cad ⇒ da²d²ac
6. a(ac)² ⇒ d
7. bd ⇒ dac
8. ba² ⇒ a²ca
9. bad ⇒ a²d²ac
10. b²ac ⇒ cbab
11. b²ab ⇒ c