〈a, b | abbaaab=b〉

Monoid presentation of length 8

Properties

Infinite non-commutative monoid

Completion parameters

Reduction order: left-to-right ba

Complete rewriting system

ab³ ⇒ b²ab
ab²ab ⇒ b²a²b
ab²a²b ⇒ b²a³b
ab²a³b ⇒ b

Other isomorphic instances

1 total

Length:	Presentation:
10	〈a, b \| ababaaaab=b〉