#3682 ⟨a, b | aabbbbaaba=b⟩

Up:Monoids with two generators and one relation
Prev:#3681 ⟨a, b | aabbbbaaba=a⟩
Next:#3683 ⟨a, b | aabbbbabab=a⟩

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. a2b4a2ba ⇒ b [1]
2. a2b4a2b2 ⇒ bab4a2ba [2]
3. a2b4a4b5 ⇒ b3(b2a2ba)2 [5]
4. bab2(b2a2ba)2 ⇒ a2b5 [3]
5. bab4a2bab2a2b2 ⇒ a2b5ab4a2ba [4]
6. bab4a2bab2a4b5 ⇒ a2b7(b2a2ba)2 [6]
# ab:aabbbbaaba=b reversed:ab
aabbbbaaba=b
aabbbbaabb=babbbbaaba
aabbbbaaaabbbbb=bbbbbaababbaaba
babbbbaababbaaba=aabbbbb
babbbbaababbaabb=aabbbbbabbbbaaba
babbbbaababbaaaabbbbb=aabbbbbbbbbaababbaaba