#5324 ⟨a, b | abaabba=aaab⟩

Up:Monoids with two generators and one relation
Prev:#5323 ⟨a, b | abaabba=aaaa⟩
Next:#5325 ⟨a, b | abaabba=aaba⟩

Quick links

  1. Properties
  2. Rewriting system

Properties

Rewriting system

Format:
Word to reduce:
Tips:
  • Lowercase letters stand for generators.
  • Spaces are ignored.
  • Numbers repeat the previous letter, e.g. b90.
Reduction strategy:
Path to normal form: 1 
1
#RuleProof
1. aba2b2a ⇒ a3b [1]
2. a(a2b)3 ⇒ a5bab2a [3]
3. a(a2b2)2a ⇒ a(a2b)2 [2]
4. a5(bab)2a ⇒ a3ba4b [6]
5. (a3ba)2b2a ⇒ a5bab2a3b [4]
6. a5bab2a3b2a ⇒ a(a2b)2a4b [7]
7. a(a2b)2a4bab2a ⇒ a5bab2a(a2b)2 [5]
# ab:abaabba=aaab ab
abaabba=aaab
aaabaabaab=aaaaababba
aaabbaabba=aaabaab
aaaaababbaba=aaabaaaab
aaabaaaababba=aaaaababbaaab
aaaaababbaaabba=aaabaabaaaab
aaabaabaaaababba=aaaaababbaaabaab