〈a, b | aaa=1, ababb=bba〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: right-to-left b/a

Complete rewriting system

1. abab² ⇒ b²a
2. a³ ⇒ 1
3. bab²a² ⇒ a²b²
4. a²b²a ⇒ bab²
5. a²b⁴a ⇒ (bab²)²
6. a²b³ab² ⇒ ba(b²a)²
7. (bab²)³ ⇒ a²b⁶a
8. bab(b²a)³ ⇒ a²b⁵ab²
9. (a²b)²b ⇒ bab⁴a²
10. (ab)²a²b² ⇒ b(b²a)²
11. bab³aba²b² ⇒ a²b⁵ab²a
12. a²b³a²b² ⇒ bab³ab⁴a²
13. a²b⁴(bab²)² ⇒ (bab²)²ab⁴a
14. a²b³(b²a)³ ⇒ b(ab³ab²)²
15. (bab²)²aba²b² ⇒ a²b⁵ab⁴a²
16. a²b³aba²b² ⇒ (bab)²(b²a)²
17. a²b⁵aba²b² ⇒ ba(b(b²a)²)²
18. a²b⁴(bab)²a²b² ⇒ (bab³ab)²b³a²

Right Cayley graph (truncated)

Left Cayley graph (truncated)