〈a, b | aaababa=baa〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. a³(ca)² ⇒ ca²
2. a³cac² ⇒ cac
3. a³cbc ⇒ c²
4. a³cacbc ⇒ cabc
5. ba² ⇒ aca
6. bac ⇒ ac²
7. bc² ⇒ aca²cbc
8. bca² ⇒ (aca)²ca
9. bcac ⇒ (aca)²c²
10. a(ab)² ⇒ c
11. ac(ab)² ⇒ bc
12. b²c ⇒ ac²(ab)²
13. babc ⇒ acbc
14. (bc)² ⇒ (aca)²c²(ab)²
15. bcabc ⇒ (aca)²cbc