〈a, b | aabaaaaba=b〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: right-to-left ab

Complete rewriting system

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