〈a, b | abbababba=b〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right cb/a
• Auxiliary generator abba=c

Complete rewriting system

1. cbc ⇒ b
2. b²c ⇒ cb²
3. cb²a ⇒ acb²
4. b³a ⇒ cbacb²
5. ab²a ⇒ c