#5708 ⟨a, b, c | aa=b, acb=cb⟩

Up:Monoid enumeration
Prev:#5707 ⟨a, b, c | aa=b, acb=ca⟩
Next:#5714 ⟨a, b, c | aa=b, acc=bb⟩

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. bd ⇒ d [7]
2. ab ⇒ ba [6]
3. a2 ⇒ b [1]
4. ad ⇒ d [5]
5. cb ⇒ d [3]
6. cd ⇒ d2 [8]
# abc:aa=b,acb=cb badc cb=d morph:2/1
bd=d
ab=ba
aa=b
ad=d
cb=d
cd=dd