〈a, b | abaabab=aba〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right bc/a
• Auxiliary generator abaa=c

Complete rewriting system

1. ca ⇒ cbc
2. c²bab² ⇒ c
3. (cb)²a ⇒ c²bab
4. aba ⇒ cbab
5. cba² ⇒ cbabc
6. cbab²a ⇒ abcbab
7. (cba)²b² ⇒ cba
8. cbabcba ⇒ (cba)²b