〈a, b | baaab=abbba〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right abc
• Auxiliary generator abbba=c

Complete rewriting system

1. ca²b ⇒ ab²c
2. cb²a ⇒ ba²c
3. ab³a ⇒ c
4. ba³b ⇒ c
5. ca³b ⇒ ba³c
6. cb³a ⇒ ab³c