〈a, b | abbaaab=aab〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right cab
• Auxiliary generator bbaaa=c

Complete rewriting system

1. cac ⇒ c³
2. cab ⇒ c²b
3. a²c ⇒ ac²
4. a²b ⇒ acb
5. b²a³ ⇒ c
6. b²ac³ ⇒ c²
7. b²ac²b ⇒ cb