#2429 ⟨a, b, c | aab=b, acca=1⟩

Up:Monoid enumeration
Prev:#2428 ⟨a, b, c | aab=b, acbc=1⟩
Next:#2430 ⟨a, b, c | aab=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. a2 ⇒ d [3]
2. da ⇒ ad [5]
3. db ⇒ b [4]
4. dc ⇒ cd [12]
5. c2a ⇒ ac2 [6]
6. c2b ⇒ b [10]
7. c2d ⇒ 1 [9]
# abc:aab=b,acca=1 abcd aa=d morph:2/0
aa=d
da=ad
db=b
dc=cd
cca=acc
ccb=b
ccd=1