〈a, b | aabaab=abba〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. ab²a ⇒ c
2. (a²b)² ⇒ c
3. cba ⇒ a²bac
4. ca²b ⇒ a²bc
5. cb²a ⇒ ab²c
6. caba²b ⇒ ab²c