#5326 ⟨a, b | abaabba=aabb⟩

Up:Monoids with two generators and one relation
Prev:#5325 ⟨a, b | abaabba=aaba⟩
Next:#5327 ⟨a, b | abaabba=abaa⟩

Quick links

  1. Properties
  2. Rewriting system

Properties

Rewriting system

Format:
Word to reduce:
Tips:
  • Lowercase letters stand for generators.
  • Spaces are ignored.
  • Numbers repeat the previous letter, e.g. b90.
Reduction strategy:
Path to normal form: 1 
1
#RuleProof
1. abca ⇒ c [4]
2. cbca ⇒ abc2 [5]
3. cb2 ⇒ (ab)2c2 [7]
4. a2b2 ⇒ c [2]
5. cab2 ⇒ abc2 [6]
# ab:abaabba=aabb ac/b aabb=c magic:0
abca=c
cbca=abcc
cbb=ababcc
aabb=c
cabb=abcc