#2890 ⟨a, b, c | aab=a, caa=a⟩

Up:Monoid enumeration
Prev:#2889 ⟨a, b, c | aab=a, bcc=c⟩
Next:#2892 ⟨a, b, c | aab=a, caa=c⟩

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 ⇒ d2 [10]
2. ad ⇒ da [11]
3. ab ⇒ da [14]
4. cd ⇒ d2 [16]
5. ca ⇒ da [15]
6. d2a ⇒ d [13]
7. da2 ⇒ a [12]
# abc:aab=a,caa=a dbac abb=d morph:3/1
db=dd
ad=da
ab=da
cd=dd
ca=da
dda=d
daa=a