#2078 ⟨a, b | abbabaab=aa⟩

Up:Monoid enumeration
Prev:#2077 ⟨a, b | abbaabba=bb⟩
Next:#2079 ⟨a, b | abbabaab=ab⟩

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. cba ⇒ bac [4]
2. (ba)2 ⇒ c [2]
3. abcab ⇒ a2 [3]
4. a3ba ⇒ abcac [6]
5. a2cab ⇒ abca2 [7]
6. cbcab ⇒ ca [5]
7. ca2ba ⇒ cbcac [8]
8. (ca)2b ⇒ cbca2 [9]
# ab:abbabaab=aa bac baba=c morph:4/2
cba=bac
baba=c
abcab=aa
aaaba=abcac
aacab=abcaa
cbcab=ca
caaba=cbcac
cacab=cbcaa