〈a, b | ababbba=bab〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: right-to-left ac/b
• Auxiliary generator abbba=c

Complete rewriting system

1. a²bc³ ⇒ cb
2. bab ⇒ abc
3. ba²bc ⇒ abcab
4. (abc)²c ⇒ bcb
5. b²cb ⇒ (abc²)²
6. ab³a ⇒ c
7. abcb²a ⇒ bc
8. abc²b²a ⇒ b²c
9. b³c ⇒ abc³b²a
10. b²cabc ⇒ ab(c²ab)²
11. bcb³a ⇒ abcb²c
12. abcab⁴a ⇒ ba³bcb²c
13. b²a³bcb²c ⇒ abc²ab⁴a
14. a(bc²a)²b⁴a ⇒ b²ca²bcb²c
15. abcb²ca²bcb²c ⇒ bcabc³ab⁴a