#2777 ⟨a, b, c | abc=b, acca=1⟩

Up:Monoid enumeration
Prev:#2776 ⟨a, b, c | abc=b, acbb=1⟩
Next:#2778 ⟨a, b, c | abc=b, accb=1⟩

Contents

  1. Properties
  2. Rewriting system

Properties

Rewriting system

Format:
Word:
Enter a word above to compute its normal form. Tips:
  • Lowercase letters stand for generators.
  • Spaces are ignored.
  • Numbers repeat the previous letter, e.g. b90.
Strategy:
Result: 1 
1
#RuleProof
1. db ⇒ bd [10]
2. dc ⇒ cd [15]
3. c2b ⇒ bc2 [12]
4. c2d ⇒ 1 [9]
5. ab ⇒ bcd [14]
6. da ⇒ ad [4]
7. c2a ⇒ ac2 [6]
8. a2 ⇒ d [3]
# abc:abc=b,acca=1 bcd/a aa=d morph:2/0
db=bd
dc=cd
ccb=bcc
ccd=1
ab=bcd
da=ad
cca=acc
aa=d