〈a, b | ababbbaab=a〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right ca/b
• Auxiliary generator bbb=c

Complete rewriting system

1. a⁴ca²c ⇒ a³caca²
2. a(aca²)²c ⇒ (a²c)²aca²
3. a³c(aca²)²c ⇒ (a²c)²aca³ca
4. (a²c)²(aca²)²c ⇒ a
5. cb ⇒ bc
6. ab ⇒ (a²c)²
7. b³ ⇒ c