#6229 ⟨a, b, c | aa=1, baccab=1⟩

Up:Monoid enumeration
Prev:#6228 ⟨a, b, c | aa=1, bacbcc=1⟩
Next:#6231 ⟨a, b, c | aa=1, baccbc=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. a2 ⇒ 1 [1]
2. b2ad ⇒ adb2 [17]
3. cab ⇒ d [3]
4. b2ac ⇒ adba [16]
5. dbad ⇒ ab [19]
6. dbac ⇒ 1 [18]
7. cdb ⇒ a [10]
8. bacd ⇒ 1 [4]
9. bac2 ⇒ acda [8]
10. dacd ⇒ ca [5]
11. cdad ⇒ abadac2a [12]
12. c2d ⇒ dac2a [7]
# abc:aa=1,baccab=1 ab/dc cab=d morph:3/0
aa=1
bbad=adbb
cab=d
bbac=adba
dbad=ab
dbac=1
cdb=a
bacd=1
bacc=acda
dacd=ca
cdad=abadacca
ccd=dacca