#2453 ⟨a, b, c | aab=b, caac=1⟩

Up:Monoid enumeration
Prev:#2452 ⟨a, b, c | aab=b, caab=1⟩
Next:#2454 ⟨a, b, c | aab=b, caba=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. c2 ⇒ d [3]
2. dc ⇒ cd [4]
3. da ⇒ ad [11]
4. db ⇒ b [10]
5. a2c ⇒ ca2 [5]
6. a2b ⇒ b [1]
7. a2d ⇒ 1 [8]
# abc:aab=b,caac=1 cabd cc=d morph:2/0
cc=d
dc=cd
da=ad
db=b
aac=caa
aab=b
aad=1