#4230 ⟨a, b | abaaaaaba=ab⟩

Up:Monoids with two generators and one relation
Prev:#4229 ⟨a, b | abaaaaaba=aa⟩
Next:#4231 ⟨a, b | abaaaaaba=bb⟩

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. cac ⇒ c2a [16]
2. ca2c ⇒ c2a2 [21]
3. ca3c ⇒ c2a3 [20]
4. ca4c ⇒ c2a4 [19]
5. c2a5 ⇒ c [15]
6. cb ⇒ c3a4 [18]
7. ab ⇒ c [2]
# ab:abaaaaaba=ab ca/b ab=c magic:0
cac=cca
caac=ccaa
caaac=ccaaa
caaaac=ccaaaa
ccaaaaa=c
cb=cccaaaa
ab=c