〈a, b | ababba=bbab〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. abac ⇒ cb
2. b²c ⇒ cab²a
3. b²ac ⇒ cbab
4. b²ab ⇒ c
5. abab²a ⇒ c