〈a, b | aabaabba=ab〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right a/c/b
• Auxiliary generator abb=c

Complete rewriting system

1. a²baca ⇒ ab
2. cb ⇒ a²bac²
3. cabaca ⇒ a²bac²
4. ab² ⇒ c
5. a(ba)²ca ⇒ c
6. (a²ba)²c² ⇒ (ca)²
7. caba³bac² ⇒ a(ba)²c(ca)²
8. (ab)²a³bac² ⇒ a²bac(ca)²
9. (a²b)²abac² ⇒ (ca)²b
10. c(aba)²bac² ⇒ a(ba)²c(ca)²b
11. (a(ba)²)²c² ⇒ a²bac(ca)²b