〈a, b | aaaabaaa=ab〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. c²a³ ⇒ a³c²
2. caca³ ⇒ a³cac
3. a³ca³ ⇒ c
4. ca²ca³ ⇒ a(a²c)²
5. ab ⇒ c
6. cb ⇒ a(a²c)²